title: Hidden scale invariance at high pressures in gold and five other fcc metal crystals

abstract: Recent DFT (density functional theory) simulations showed that metals have a hitherto overlooked symmetry termed "hidden scale invariance" [Hummel {\em et al.}, Phys. Rev. B {\bf{92}}, 174116 (2015)]. According to isomorph theory, this scaling property implies the existence of lines in the thermodynamic phase diagram, so-called isomorphs, along which structure and dynamics are invariant to a good approximation when given in properly reduced units. This means that the phase diagram becomes effectively one-dimensional with regard to several physical properties. This paper investigates consequences and implications of the isomorph theory in six metallic crystals; Au, Ni, Cu, Pd, Ag and Pt. The data are obtained from molecular dynamics simulations employing many body 'effective medium theory' (EMT) to model the atomic interactions realistically. We test the predictions from isomorph theory for structure and dynamics by means of the radial distribution and the velocity autocorrelation functions, as well as the rather dramatic prediction of instantaneous equilibration after a jump between two isomorphic points. Many properties of crystals tend to be dominated by defects and many of the properties associated with these defects are expected to be isomorph invariant as well. This is investigated in this paper for the case of vacancy diffusion. We find the predicted invariance of structure and also of dynamics, though less rigorous. We show results on the variation of the density scaling exponent $\gamma$, which can be related to the Gr\"uneisen-parameter, for all six metals. We consider large density changes up to a factor of two, corresponding to very high pressures. Unlike systems modelled using the Lennard-Jones potential where the density scaling-exponent $\gamma$ is almost constant, it varies substantially when using the EMT potential and is also strongly material dependent.


title: Microcontroller based scanning transfer cavity lock for long-term laser frequency stabilization

abstract: We present a compact all-digital implementation of a scanning transfer cavity lock (STCL) for long-term laser frequency stabilization. An interrupt-driven state machine is employed to realize the STCL, with the capability to correct for frequency drifts in the slave laser frequency due to measured changes in the lab environmental conditions. We demonstrate an accuracy of 0.9 MHz for master laser and slave laser wavelengths of 556 nm and 798 nm as an example. The slave laser is also demonstrated to dynamically scan over a wide frequency range while retaining its lock, allowing us to accurately interrogate atomic transitions.


title: A Blow-up Criterion for the Curve Diffusion Flow with a Contact Angle

abstract: We prove a blow-up criterion in terms of an $L_2$-bound of the curvature for solutions to the curve diffusion flow if the maximal time of existence is finite. In our setting, we consider an evolving family of curves driven by curve diffusion flow, which has free boundary points supported on a line. The evolving curve has fixed contact angle $\alpha \in (0, \pi)$ with that line and satisfies a no-flux condition. The proof is led by contradiction: A compactness argument combined with the short time existence result enables us to extend the flow, which contradicts the maximality of the solution.


title: Late-Time Observations of Type Ia Supernova SN 2014J with the Hubble Space Telescope Wide Field Camera 3

abstract: Recent works have studied the late-time light curves of Type Ia supernovae (SNe Ia) when these were older than 500 days past B-band maximum light. Of these, SN 2014J, which exploded in the nearby galaxy M82, was studied with the Advanced Camera for Surveys onboard the Hubble Space Telescope (HST) by Yang et al. Here, I report complementary photometry of SN 2014J taken with the HST Wide Field Camera 3 when it was ~360-1300 days old. My F555W measurements are consistent with the F606W measurements of Yang et al., but the F438W measurements are ~1 mag fainter than their F475W measurements. I corroborate their finding that even though SN 2014J has spatially resolved light echoes, its photometry is not contaminated by an unresolved echo. Finally, I compare the F438W and F555W light curves of SN 2014J to those of the other late-time SNe Ia observed to date and show that more intrinsically luminous SNe have slower light-curve decline rates. This is consistent with the correlation claimed by Graur et al., which was based on a comparison of pseudo-bolometric light curves. By conducting a direct comparison of the late-time light curves in the same filters, I remove any systematic uncertainties introduced by the assumptions that go into constructing the pseudo-bolometric light curves, thus strengthening the Graur et al. claim.


title: Nearly Optimal Space Efficient Algorithm for Depth First Search

abstract: We design a space-efficient algorithm for performing depth-first search traversal(DFS) of a graph in $O(m+n\log^* n)$ time using $O(n)$ bits of space. While a normal DFS algorithm results in a DFS-tree (in case the graph is connected), our space bounds do not permit us even to store such a tree. However, our algorithm correctly outputs all edges of the DFS-tree. The previous best algorithm (which used $O(n)$ working space) took $O(m \log n)$ time (Asano, Izumi, Kiyomi, Konagaya, Ono, Otachi, Schweitzer, Tarui, Uehara (ISAAC 2014) and Elmasry, Hagerup, Krammer (STACS 2015)). The main open question left behind in this area was to design faster algorithm for DFS using $O(n)$ bits of space. Our algorithm answers this open question as it has a nearly optimal running time (as the DFS takes $O(m+n)$ time even if there is no space restriction).


title: Statistical Estimation of Malware Detection Metrics in the Absence of Ground Truth

abstract: The accurate measurement of security metrics is a critical research problem because an improper or inaccurate measurement process can ruin the usefulness of the metrics, no matter how well they are defined. This is a highly challenging problem particularly when the ground truth is unknown or noisy. In contrast to the well perceived importance of defining security metrics, the measurement of security metrics has been little understood in the literature. In this paper, we measure five malware detection metrics in the {\em absence} of ground truth, which is a realistic setting that imposes many technical challenges. The ultimate goal is to develop principled, automated methods for measuring these metrics at the maximum accuracy possible. The problem naturally calls for investigations into statistical estimators by casting the measurement problem as a {\em statistical estimation} problem. We propose statistical estimators for these five malware detection metrics. By investigating the statistical properties of these estimators, we are able to characterize when the estimators are accurate, and what adjustments can be made to improve them under what circumstances. We use synthetic data with known ground truth to validate these statistical estimators. Then, we employ these estimators to measure five metrics with respect to a large dataset collected from VirusTotal. We believe our study touches upon a vital problem that has not been paid due attention and will inspire many future investigations.


title: Quantization Viewed as Galois Extension

abstract: Quantization is studied from a viewpoint of field extension. If the dynamical fields and their action have a periodicity, the space of wave functions should be algebraically extended `a la Galois, so that it may be consistent with the periodicity. This was pointed out by Y. Nambu three decades ago. Having chosen quantum mechanics (one dimensional field theory), this paper shows that a different Galois extension gives a different quantization scheme. A new scheme of quantization appears when the invariance under Galois group is imposed as a physical state condition. Then, the normalization condition appears as a sum over the product of more than three wave functions, each of which is given for a different root adjoined by the field extension.


title: Equivalence of the ellipticity conditions for geometric variational problems

abstract: We exploit the so called atomic condition, recently defined by De Philippis, De Rosa, and Ghiraldin in [Comm. Pure Appl. Math.] and proved to be necessary and sufficient for the validity of the anisotropic counterpart of the Allard rectifiability theorem. In particular, we address an open question of this seminal work, showing that the atomic condition implies the strict Almgren geometric ellipticity condition.


title: Discrete Flux and Velocity Fields of Probability and Their Global Maps in Reaction Systems

abstract: Stochasticity plays important roles in reaction systems. Vector fields of probability flux and velocity characterize time-varying and steady-state properties of these systems, including high probability paths, barriers, checkpoints among different stable regions, as well as mechanisms of dynamic switching among them. However, conventional fluxes on continuous space are ill-defined and are problematic when at boundaries of the state space or when copy numbers are small. By re-defining the derivative and divergence operators based on the discrete nature of reactions, we introduce new formulations of discrete fluxes. Our flux model fully accounts for the discreetness of both the state space and the jump processes of reactions. The reactional discrete flux satisfies the continuity equation and describes the behavior of the system evolving along directions of reactions. The species discrete flux directly describes the dynamic behavior in the state space of the reactants such as the transfer of probability mass. With the relationship between these two fluxes specified, we show how to construct time-evolving and steady-state global flow-maps of probability flux and velocity in the directions of every species at every microstate, and how they are related to the outflow and inflow of probability fluxes when tracing out reaction trajectories. We also describe how to impose proper conditions enabling exact quantification of flux and velocity in the boundary regions, without the difficulty of enforcing artificial reflecting conditions. We illustrate the computation of probability flux and velocity using three model systems, namely, the birth-death process, the bistable Schl\"ogl model, and the oscillating Schnakenberg model.


title: The r-mode instability windows of strange stars

abstract: With the constraint from gravitational wave emission of a binary merger system (GW170817) and two-solar-mass pulsar observations, we investigate the r-mode instability windows of strange stars with unpaired and color-flavor-locked phase strange quark matter. Shear viscosities due to surface rubbing and electron-electron scattering are taken into account in this work. The results show that the effects of the equation of state of unpaired strange quark matter are only dominant at low temperature, but do not have significant effects on strange stars in the color-flavor-locked phase. A color-flavor-locked phase strange star, which is surrounded by an insulating nuclear crust, seems to be consistent with observational data of young pulsars. We find that an additional enhanced dissipation mechanisms might exist in SAX J1808.4-3658. Fast spinning young pulsar PSR J0537-6910 is a primary source for detecting gravitational waves from a rotating strange star, and young pulsars might be strange stars with color-flavor-locked phase strange quark matter.


title: Gravitational Lenses as High-Resolution Telescopes

abstract: The inner regions of active galaxies host the most extreme and energetic phenomena in the universe including, relativistic jets, supermassive black hole binaries, and recoiling supermassive black holes. However, many of these sources cannot be resolved with direct observations. I review how strong gravitational lensing can be used to elucidate the structures of these sources from radio frequencies up to very high energy gamma rays. The deep gravitational potentials surrounding galaxies act as natural gravitational lenses. These gravitational lenses split background sources into multiple images, each with a gravitationally-induced time delay. These time delays and positions of lensed images depend on the source location, and thus, can be used to infer the spatial origins of the emission. For example, using gravitationally-induced time delays improves angular resolution of modern gamma-ray instruments by six orders of magnitude, and provides evidence that gamma-ray outbursts can be produced at even thousands of light years from a supermassive black hole, and that the compact radio emission does not always trace the position of the supermassive black hole. These findings provide unique physical information about the central structure of active galaxies, force us to revise our models of operating particle acceleration mechanisms, and challenge our assumptions about the origin of compact radio emission. Future surveys, including LSST, SKA, and Euclid, will provide observations for hundreds of thousands of gravitationally lensed sources, which will allow us to apply strong gravitational lensing to study the multi-wavelength structure for large ensembles of sources. This large ensemble of gravitationally lensed active galaxies will allow us to elucidate the physical origins of multi-wavelength emissions, their connections to supermassive black holes, and their cosmic evolution.


title: Calculating turbulent transport tensors by averaging single plume dynamics and application to dynamos

abstract: Transport coefficients in turbulence are comprised of correlation functions between turbulent fluctuations and efficient methods to calculate them are desirable. For example, in mean field dynamo theories used to model the growth of large scale magnetic fields of stars and galaxies, the turbulent electromotive force is commonly approximated by a series of tensor products of turbulent transport coefficients with successively higher order spatial derivatives of the mean magnetic field. One ingredient of standard models is the kinematic coefficient of the zeroth order term, namely the averaged kinetic pseudotensor $\bm{\alpha}$, that converts toroidal to poloidal fields. Here we demonstrate an efficient way to calculate this quantity for rotating stratified turbulence, whereby the pre-averaged quantity is calculated for the motion of a single plume, and the average is then taken over an ensemble of plumes of different orientations. We calculate the plume dynamics in the most convenient frame, before transforming back to the lab frame and averaging. Our concise configuration space calculation gives essentially identical results to previous lengthier approaches. The present application exemplifies what is a broadly applicable method.

categories: astro-ph.SR astro-ph.GA physics.flu-dyn physics.plasm-ph


title: Negative specific heat from non-planar interactions and small black holes in AdS/CFT

abstract: The gravity side of the gauge/gravity duality predicts the existence of small black holes with negative specific heat. A free theory of strings has a Hagedorn behavior, but it does not lead to negative specific heat. To understand such states one needs to consider a theory of interacting strings. In the dual gauge theory, the string interactions are related to non-planar diagrams. In this paper the simplest gauge matrix model of two free matrices, that has Hagedorn behavior is analyzed in detail. A simple double trace deformation of the Hamiltonian, proportional to square of the free Hamiltonian square with a negative sign that mimics a gravitational attraction is enough to produce states with negative specific heat perturbatively and one can still compute the equation of state relating the entropy and the energy. A more general argument based on non-planar interactions that are random and that grow faster in strength than the energy suggests that states with negative specific heat appear generically.


title: On a closed form of rational generating functions for polynomials

abstract: Our goal in this work is to found a closed form for rational generat- ing functions, these generate a various families of polynomials and generalized polynomials, in order to get the general recursive formula satisfied by these polynomials.


title: Exploring Modern GPU Memory System Design Challenges through Accurate Modeling

abstract: This paper explores the impact of simulator accuracy on architecture design decisions in the general-purpose graphics processing unit (GPGPU) space. We perform a detailed, quantitative analysis of the most popular publicly available GPU simulator, GPGPU-Sim, against our enhanced version of the simulator, updated to model the memory system of modern GPUs in more detail. Our enhanced GPU model is able to describe the NVIDIA Volta architecture in sufficient detail to reduce error in memory system even counters by as much as 66X. The reduced error in the memory system further reduces execution time error versus real hardware by 2.5X. To demonstrate the accuracy of our enhanced model against a real machine, we perform a counter-by-counter validation against an NVIDIA TITAN V Volta GPU, demonstrating the relative accuracy of the new simulator versus the publicly available model. We go on to demonstrate that the simpler model discounts the importance of advanced memory system designs such as out-of-order memory access scheduling, while overstating the impact of more heavily researched areas like L1 cache bypassing. Our results demonstrate that it is important for the academic community to enhance the level of detail in architecture simulators as system complexity continues to grow. As part of this detailed correlation and modeling effort, we developed a new Correlator toolset that includes a consolidation of applications from a variety of popular GPGPU benchmark suites, designed to run in reasonable simulation times. The Correlator also includes a database of hardware profiling results for all these applications on NVIDIA cards ranging from Fermi to Volta and a toolchain that enables users to gather correlation statistics and create detailed counter-by-counter hardware correlation plots with minimal effort.


title: Explanation of Detailed Spectral Properties of FRBs by Axion Star Model

abstract: We have proposed a generation mechanism of non repeating ( repeating ) fast radio bursts: They arise by axion star collisions with neutron stars ( accretion disks of galactic black holes ). The axion star as coherent state of axions with mass $m_a$ generates homogeneous electric field oscillating with frequency $m_a/2\pi$ under strong magnetic fields. The field makes electrons coherently oscillate and emit the coherent dipole radiations ( FRBs ). The radiations stop when thermal fluctuations produced by the oscillation disturb the coherent oscillations. Thus, the duration of the FRBs is determined by the time scale of the thermalization; it is much shorter than $1$ms. Line spectra of the dipole radiations are broadened by the thermal effects. The thermally broaden spectra have a feature that the bandwidths $\delta\nu$ are proportional to their center frequencies $\nu_c$. The presence of various center frequencies ( $1.2$GHz$\sim $$7$GHz ) in repeating FRB 121102 is attributed to Doppler shifts owing to the various relativistic velocities of the accretion disk. On the other hand, non repeating FRBs do not show such variety of the center frequencies. They come from the surfaces of neutron stars. The Doppler shift also makes the durations of the bursts with higher frequencies become shorter. Because the magnetic fields of the neutron stars are supposed to be stronger than those of the accretion disks, the peak flux densities of non repeating FRBs are larger than those of repeating FRB 121102. The strong magnetic fields of the neutron stars also lead to much wide bandwidths of non repeating FRBs, which are over the extent of the receiver frequency range. The spectral features of the recently discovered new repeating FRB 180814.J0422+75 are coincident with our general analyses of the repeating FRB 121102.


title: 3D hydrodynamical models of point-symmetric planetary nebulae: the special case of H1-67

abstract: We present 3D hydrodynamical simulations of a precessing jet with a time-dependent ejection velocity or a time-dependent ejection density, interacting with a circumstellar medium given by a dense, anisotropic, and slow AGB wind, forming a torus. We explore a set of configurations with different values for the precession angle and number of ejections. The temporal evolution of these models is analised at times up to 1500 or 1800 yr. From our hydrodynamical models, we obtain position-velocity diagrams (PV diagrams) in the [NII]{\lambda}6583 line to be compared with high resolution observations of the planetary nebula H1-67. From spectral data this object shows high-velocity jets and a point-symmetric morphology. With our synthetic PV diagrams we show that a precessing jet with a time-dependent ejection velocity or a time-dependent ejection density reproduce the point-symmetric morphological structure for this nebula if the precession cone angle is larger than 30$^{\circ}$. Our synthetic PV diagrams can be used to understand how the S-like morphology, also presented by other planetary nebulae, is formed. For H1-67 we found a heliocentric velocity of -8.05 km s^-1 and height below the galactic plane of -451.6 pc.


title: Active unidirectional network flow generates a packet molecular transport in cells

abstract: Internet, social media, neuronal or blood vessel are organized in complex networks. These networks are characterized by several quantities such as the underlying graph connectivity (topology), how they grow in time, scaling laws or by the mean time a random search can cover a network and also by shortest path between two nodes. We present here a novel type of network property based on a unidirectional transport mechanism occurring in the Endoplasmic Reticulum network found in the cell cytoplasm. This mechanism is an active-waiting transportation, where molecules have to wait a random time before being transported from one node to the next one. We find that the consequence of this unusual network transportation is that molecules travel together by recurrent packets, which quite a large deviation behavior compared to classical propagation in graphs. To conclude, this form of transportation is associated with an efficient and robust molecular redistribution inside cells.


title: Operationalizing Conflict and Cooperation between Automated Software Agents in Wikipedia: A Replication and Expansion of 'Even Good Bots Fight'

abstract: This paper replicates, extends, and refutes conclusions made in a study published in PLoS ONE ("Even Good Bots Fight"), which claimed to identify substantial levels of conflict between automated software agents (or bots) in Wikipedia using purely quantitative methods. By applying an integrative mixed-methods approach drawing on trace ethnography, we place these alleged cases of bot-bot conflict into context and arrive at a better understanding of these interactions. We found that overwhelmingly, the interactions previously characterized as problematic instances of conflict are typically better characterized as routine, productive, even collaborative work. These results challenge past work and show the importance of qualitative/quantitative collaboration. In our paper, we present quantitative metrics and qualitative heuristics for operationalizing bot-bot conflict. We give thick descriptions of kinds of events that present as bot-bot reverts, helping distinguish conflict from non-conflict. We computationally classify these kinds of events through patterns in edit summaries. By interpreting found/trace data in the socio-technical contexts in which people give that data meaning, we gain more from quantitative measurements, drawing deeper understandings about the governance of algorithmic systems in Wikipedia. We have also released our data collection, processing, and analysis pipeline, to facilitate computational reproducibility of our findings and to help other researchers interested in conducting similar mixed-method scholarship in other platforms and contexts.


title: Mathematical Modeling of Routes Maintenance and Recovery Procedure for MANETs

abstract: Routing is one of the most mysterious issues from the birth of networks up till now. Designing routing protocols for Mobile Ad hoc Networks (MANETs) is a complicated task because unpredictable mobility patterns of mobile nodes greatly effect routing decisions. Various routing protocols are designed to improve this very problem. Different simulator based routing protocols are designed but these protocols might fail during deployment because of the testing procedures of simulators. In this study, a novel formal model for routes management is proposed for MANETs. Formal methods are the most novel techniques based purely on mathematics and are used for the verification, validation of critical systems/models and guarantee the correctness and completeness of hardware/software systems. The proposed routing model is a complete and detailed graph based logical model defined in VDM-SL (formal language) and then verified and validated by using VDM-SL toolbox.


title: Graph Compression Using The Regularity Method

abstract: We are living in a world which is getting more and more interconnected and, as physiological effect, the interaction between the entities produces more and more information. This high throughput generation calls for techniques able to reduce the volume of the data, but still able to preserve the carried knowledge. Data compression and summarization techniques are one of the possible approaches to face such problems. The aim of this thesis is to devise a new pipeline for compressing and decompressing a graph by exploiting Szemer\'edi's Regularity Lemma. In particular, it has been developed a procedure called CoDec (Compression-Decompression) which is based on Alon et al's constructive version of the Regularity Lemma. We provide an extensive experimental evaluation to measure how robust is the framework as we both corrupt the structures carried by the graph and add noisy edges among them. The experimental results make us confident that our method can be effectively used as a graph compression technique able to preserve meaningful patterns of the original graph.


title: A New Characterization of $\mathcal{V}$-Posets

abstract: In 2016, Hasebe and Tsujie gave a recursive characterization of the set of induced $N$-free and bowtie-free posets; Misanantenaina and Wagner studied these orders further, naming them "$\mathcal{V}$-posets". Here we offer a new characterization of $\mathcal{V}$-posets by introducing a property we refer to as autonomy. A poset $\cP$ is said to be autonomous if there exists a directed acyclic graph $D$ (with adjacency matrix $U$) whose transitive closure is $\cP$, with the property that any total ordering of the vertices of $D$ so that Gaussian elimination of $U^TU$ proceeds without row swaps is a linear extension of $\cP$. Autonomous posets arise from the theory of pressing sequences in graphs, a problem with origins in phylogenetics. The pressing sequences of a graph can be partitioned into families corresponding to posets; because of the interest in enumerating pressing sequences, we investigate when this partition has only one block, that is, when the pressing sequences are all linear extensions of a single autonomous poset. We also provide an efficient algorithm for recognition of autonomy using structural information and the forbidden subposet characterization, and we discuss a few open questions that arise in connection with these posets.


title: Closed loop image aided optimization for cold spray process based on molecular dynamics

abstract: This study proposed a closed loop image aided optimization (CLIAO) method to improve the quality of deposition during the cold spray process. Some recent research shows that the quality of deposition measured by flattening ratio of the bonded particle is associated with impact velocity, angle and particle size. Therefore, the original idea of CLIAO is to improve the quality of deposition by obtaining the maximum flattening ratio which is extracted from the molecular dynamics (MD) simulation snapshots directly. To complete this strategy, a Python script is suggested to generate the required snapshots from result files automatically and the image processing technique is used to evaluate the flattening ratio from the snapshots. Moreover, three optimization methods including surrogate optimization (Efficient Global Optimization) and heuristic algorithms (Particle Swarm Optimization, Different Evolution algorithm) are engaged. Then a back propagation neural network (BPNN) is used to accelerate the process of optimization, where the BPNN is used to build the meta-model instead of the forward calculation. The optimization result demonstrates that all the above methods can obtain the acceptable solution. The comparison between those methods is also given and the selection of them should be determined by the trade-off between efficiency and accuracy.


title: The structure of low-complexity Gibbs measures on product spaces

abstract: Let $K_1$, $\dots$, $K_n$ be bounded, complete, separable metric spaces. Let $\lambda_i$ be a Borel probability measure on $K_i$ for each $i$. Let $f:\prod_i K_i \to \mathbb{R}$ be a bounded and continuous potential function, and let $$\mu(d \mathbf{x})\ \propto\ e^{f(\mathbf{x})}\lambda_1(d x_1)\cdots \lambda_n(d x_n)$$ be the associated Gibbs distribution. At each point $\mathbf{x} \in \prod_i K_i$, one can define a `discrete gradient' $\nabla f(\mathbf{x},\,\cdot\,)$ by comparing the values of $f$ at all points which differ from $\mathbf{x}$ in at most one coordinate. In case $\prod_i K_i = \{-1,1\}^n \subset \mathbb{R}^n$, the discrete gradient $\nabla f(\mathbf{x},\,\cdot\,)$ is naturally identified with a vector in $\mathbb{R}^n$. This paper shows that a `low-complexity' assumption on $\nabla f$ implies that $\mu$ can be approximated by a mixture of other measures, relatively few in number, and most of them close to product measures in the sense of optimal transport. This implies also an approximation to the partition function of $f$ in terms of product measures, along the lines of Chatterjee and Dembo's theory of `nonlinear large deviations'. An important precedent for this work is a result of Eldan in the case $\prod_i K_i = \{-1,1\}^n$. Eldan's assumption is that the discrete gradients $\nabla f(\mathbf{x},\,\cdot\,)$ all lie in a subset of $\mathbb{R}^n$ that has small Gaussian width. His proof is based on the careful construction of a diffusion in $\mathbb{R}^n$ which starts at the origin and ends with the desired distribution on the subset $\{-1,1\}^n$. Here our assumption is a more naive covering-number bound on the set of gradients $\{\nabla f(\mathbf{x},\,\cdot\,):\ \mathbf{x} \in \prod_i K_i\}$, and our proof relies only on basic inequalities of information theory. As a result, it is shorter, and applies to Gibbs measures on arbitrary product spaces.


title: Performance of Thin Planar \textit{n-on-p} silicon pixels after HL-LHC radiation fluences

abstract: The tracking detector of ATLAS, one of the experiments at the Large Hadron Collider (LHC), will be upgraded in 2024-2026 to cope with the challenging environment conditions of the High Luminosity LHC (HL-LHC). The LPNHE, in collaboration with FBK and INFN, has produced 130~$\mu$m thick $n-on-p$ silicon pixel sensors which can withstand the expected large particle fluences at HL- LHC, while delivering data at high rate with excellent hit efficiency. Such sensors were tested on beam before and after irradiation both at CERN-SPS and at DESY, and their performances are presented in this paper. Beam test data indicate that these detectors are suited for all the layers where planar sensors are foreseen in the future ATLAS tracker: hit-efficiency is greater than 97\% for fluences $\Phi \lesssim 7\times10^{15}\rm{n_{eq}/cm^2}$ and module power consumption is within the specified limits. Moreover, at a fluence $\Phi = 1.3\times10^{16}\rm{n_{eq}/cm^2}$, hit-efficiency is still as high as 88\% and charge collection efficiency is about 30\%.


title: Gender Bias in Nobel Prizes

abstract: Strikingly few Nobel laureates within medicine, natural and social sciences are women. Although it is obvious that there are fewer women researchers within these fields, does this gender ratio still fully account for the low number of female Nobel laureates? We examine whether women are awarded the Nobel Prizes less often than the gender ratio suggests. Based on historical data across four scientific fields and a Bayesian hierarchical model, we quantify any possible bias. The model reveals, with exceedingly large confidence, that indeed women are strongly under-represented among Nobel laureates across all disciplines examined.


title: List Decoding of Deletions Using Guess & Check Codes

abstract: Guess & Check (GC) codes are systematic binary codes that can correct multiple deletions, with high probability. GC codes have logarithmic redundancy in the length of the message $k$, and the encoding and decoding algorithms of these codes are deterministic and run in polynomial time for a constant number of deletions $\delta$. The unique decoding properties of GC codes were examined in a previous work by the authors. In this paper, we investigate the list decoding performance of these codes. Namely, we study the average size and the maximum size of the list obtained by a GC decoder for a constant number of deletions $\delta$. The theoretical results show that: (i) the average size of the list approaches $1$ as $k$ grows; and (ii) there exists an infinite sequence of GC codes indexed by $k$, whose maximum list size in upper bounded by a constant that is independent of $k$. We also provide numerical simulations on the list decoding performance of GC codes for multiple values of $k$ and $\delta$.


title: Mirrorless focusing of XUV high-order harmonics

abstract: By experimentally studying high-order harmonic beams generated in gases, we show how the spatial characteristics of these ultrashort XUV beams can be finely controlled under standard generation conditions. For the first time, we demonstrate that these XUV beams can be emitted as converging beams and get thereby focused after generation. We study this mirrorless focusing using a spatially chirped beam that acts as a spatially localized probe located inside the harmonic generation medium. We analyze the XUV beam evolution with an analytical model providing the beam characteristics and obtain very good agreement with experimental measurements. The XUV foci sizes and positions vary strongly with the harmonic order and the XUV waist can be located at arbitrarily large distances from the generating medium. We discuss how intense XUV fields can be obtained with mirrorless focusing and how such order-dependent XUV beam characteristics are compatible with broadband XUV irradiation and attosecond science.


title: Optimal locally private estimation under $\ell_p$ loss for $1\le p\le 2$

abstract: We consider the minimax estimation problem of a discrete distribution with support size $k$ under locally differential privacy constraints. A privatization scheme is applied to each raw sample independently, and we need to estimate the distribution of the raw samples from the privatized samples. A positive number $\epsilon$ measures the privacy level of a privatization scheme. In our previous work (IEEE Trans. Inform. Theory, 2018), we proposed a family of new privatization schemes and the corresponding estimator. We also proved that our scheme and estimator are order optimal in the regime $e^{\epsilon} \ll k$ under both $\ell_2^2$ (mean square) and $\ell_1$ loss. In this paper, we sharpen this result by showing asymptotic optimality of the proposed scheme under the $\ell_p^p$ loss for all $1\le p\le 2.$ More precisely, we show that for any $p\in[1,2]$ and any $k$ and $\epsilon,$ the ratio between the worst-case $\ell_p^p$ estimation loss of our scheme and the optimal value approaches $1$ as the number of samples tends to infinity. The lower bound on the minimax risk of private estimation that we establish as a part of the proof is valid for any loss function $\ell_p^p, p\ge 1.$


title: Production of $p\bar{p}$ pairs in UPC at the LHC

abstract: We discuss production of $p\bar{p}$ pairs in two-photon interactions in heavy-ion collisions. We present predictions for the ultraperipheral, ultrarelativistic, heavy-ion collisions (UPC) $^{208}\!Pb \, ^{208}\!Pb \to$ $^{208}\!Pb \, ^{208}\!Pb \,p \bar{p}$. The parameters of vertex form factors are adjusted to the Belle data for the $\gamma \gamma \to p \bar{p}$ reaction. To described the Belle data we include the proton-exchange, the $f_2(1270)$ and $f_2(1950)$ $s$-channel exchanges, as well as the hand-bag mechanism. Then, the total cross section and several differential distributions for experimental cuts corresponding to the LHC experiments are presented. The distribution in $\mathrm{y}_{diff}$, the rapidity distance between the proton and antiproton, is particularly interesting. We find the total cross sections: 100 $\mu$b for the ALICE cuts, 160 $\mu$b for the ATLAS cuts, 500 $\mu$b for the CMS cuts, and 104 $\mu$b taking into account the LHCb cuts. This opens a possibility to study the $\gamma \gamma \to p \bar{p}$ process in UPC at the LHC.


title: Unambiguous Forest Factorization

abstract: In this paper, we look at an unambiguous version of Simon's forest factorization theorem, a very deep result which has wide connections in algebra, logic and automata. Given a morphism $\varphi$ from $\Sigma^+$ to a finite semigroup $S$, we construct a universal, unambiguous automaton A which is "good" for $\varphi$. The goodness of $\Aa$ gives a very easy proof for the forest factorization theorem, providing a Ramsey split for any word in $\Sigma^{\infty}$ such that the height of the Ramsey split is bounded by the number of states of A. An important application of synthesizing good automata from the morphim $\varphi$ is in the construction of regular transducer expressions (RTE) corresponding to deterministic two way transducers.


title: At Human Speed: Deep Reinforcement Learning with Action Delay

abstract: There has been a recent explosion in the capabilities of game-playing artificial intelligence. Many classes of tasks, from video games to motor control to board games, are now solvable by fairly generic algorithms, based on deep learning and reinforcement learning, that learn to play from experience with minimal prior knowledge. However, these machines often do not win through intelligence alone -- they possess vastly superior speed and precision, allowing them to act in ways a human never could. To level the playing field, we restrict the machine's reaction time to a human level, and find that standard deep reinforcement learning methods quickly drop in performance. We propose a solution to the action delay problem inspired by human perception -- to endow agents with a neural predictive model of the environment which "undoes" the delay inherent in their environment -- and demonstrate its efficacy against professional players in Super Smash Bros. Melee, a popular console fighting game.


title: Signed iterative random forests to identify enhancer-associated transcription factor binding

abstract: Standard ChIP-seq peak calling pipelines seek to differentiate biochemically reproducible signals of individual genomic elements from background noise. However, reproducibility alone does not imply functional regulation (e.g., enhancer activation, alternative splicing). Here we present a general-purpose, interpretable machine learning method: signed iterative random forests (siRF), which we use to infer regulatory interactions among transcription factors and functional binding signatures surrounding enhancer elements in Drosophila melanogaster.


title: Fast and Faster Convergence of SGD for Over-Parameterized Models and an Accelerated Perceptron

abstract: Modern machine learning focuses on highly expressive models that are able to fit or interpolate the data completely, resulting in zero training loss. For such models, we show that the stochastic gradients of common loss functions satisfy a strong growth condition. Under this condition, we prove that constant step-size stochastic gradient descent (SGD) with Nesterov acceleration matches the convergence rate of the deterministic accelerated method for both convex and strongly-convex functions. We also show that this condition implies that SGD can find a first-order stationary point as efficiently as full gradient descent in non-convex settings. Under interpolation, we further show that all smooth loss functions with a finite-sum structure satisfy a weaker growth condition. Given this weaker condition, we prove that SGD with a constant step-size attains the deterministic convergence rate in both the strongly-convex and convex settings. Under additional assumptions, the above results enable us to prove an O(1/k^2) mistake bound for k iterations of a stochastic perceptron algorithm using the squared-hinge loss. Finally, we validate our theoretical findings with experiments on synthetic and real datasets.


title: Forecasting the Arrival Time of Coronal Mass Ejections: Analysis of the CCMC CME Scoreboard

abstract: Accurate forecasting of the properties of coronal mass ejections as they approach Earth is now recognized as an important strategic objective for both NOAA and NASA. The time of arrival of such events is a key parameter, one that had been anticipated to be relatively straightforward to constrain. In this study, we analyze forecasts submitted to the Community Coordinated Modeling Center (CCMC) at NASA's Goddard Space Flight Center over the last six years to answer the following questions: (1) How well do these models forecast the arrival time of CME-driven shocks? (2) What are the uncertainties associated with these forecasts? (3) Which model(s) perform best? (4) Have the models become more accurate during the past six years? We analyze all forecasts made by 32 models from 2013 through mid 2018, and additionally focus on 28 events all of which were forecasted by six models. We find that the models are generally able to predict CME-shock arrival times -- in an average sense -- to within 10 hours, but with standard deviations often exceeding 20 hours. The best performers, on the other hand, maintained a mean error (bias) of -1 hour, a mean absolute error of 13 hours, and a precision (s.d.) of 15 hours. Finally, there is no evidence that the forecasts have become more accurate during this interval. We discuss the intrinsic simplifications of the various models analyzed, the limitations of this investigation, and suggest possible paths to improve these forecasts in the future.


title: An analysis of Principle 1.2 in the new ACM Code Of Ethics

abstract: The new ACM Code of Ethics is a much-needed update, but introduced changes to a central principle that have not been discussed widely enough. This commentary aims to contribute to an improvement of the ethical standards we want computing professionals to aspire to by analyzing how changes introduced to Principle 1.2, Avoid Harm, affect the Code as a whole. The analysis shows that the principle is now internally inconsistent in structure and externally inconsistent with Principle 2.3. It condones intentional harm too broadly and does not oblige those responsible to seek external justification. The existing Principle 2.3 clearly suggests that Principle 1.2 is unethical. As a consequence, the change introduced to Principle 1.2 in the new Code of Ethics nullifies the good intention of the code; counteracts the many good changes introduced in all three drafts; and places the ACM in a dangerous moral position. This short paper explains why and recommends concrete actions.


title: Deep Neural Maps

abstract: We introduce a new unsupervised representation learning and visualization using deep convolutional networks and self organizing maps called Deep Neural Maps (DNM). DNM jointly learns an embedding of the input data and a mapping from the embedding space to a two-dimensional lattice. We compare visualizations of DNM with those of t-SNE and LLE on the MNIST and COIL-20 data sets. Our experiments show that the DNM can learn efficient representations of the input data, which reflects characteristics of each class. This is shown via back-projecting the neurons of the map on the data space.


title: Necessary Conditions and Tight Two-level Convergence Bounds for Parareal and Multigrid Reduction in Time

abstract: Parareal and multigrid reduction in time (MGRiT) are two of the most popular parallel-in-time methods. The idea is to treat time integration in a parallel context by using a multigrid method in time. If $\Phi$ is a (fine-grid) time-stepping scheme, let $\Psi$ denote a "coarse-grid" time-stepping scheme chosen to approximate $k$ steps of $\Phi$, $k\geq 1$. In particular, $\Psi$ defines the coarse-grid correction, and evaluating $\Psi$ should be (significantly) cheaper than evaluating $\Phi^k$. A number of papers have studied the convergence of Parareal and MGRiT. However, there have yet to be general conditions developed on the convergence of Parareal or MGRiT that answer simple questions such as, (i) for a given $\Phi$ and $k$, what is the best $\Psi$, or (ii) can Parareal/MGRiT converge for my problem? This work derives necessary and sufficient conditions for the convergence of Parareal and MGRiT applied to linear problems, along with tight two-level convergence bounds. Results rest on the introduction of a "temporal approximation property" (TAP) that indicates how $\Phi^k$ must approximate the action of $\Psi$ on different vectors. Loosely, for unitarily diagonalizable operators, the TAP indicates that fine-grid and coarse-grid time integration schemes must integrate geometrically smooth spatial components similarly, and less so for geometrically high frequency. In the (non-unitarily) diagonalizable setting, the conditioning of each eigenvector, $\mathbf{v}_i$, must also be reflected in how well $\Psi\mathbf{v}_i \sim\Phi^k\mathbf{v}_i$. In general, worst-case convergence bounds are exactly given by $\min \varphi < 1$ such that an inequality along the lines of $\|(\Psi-\Phi^k)\mathbf{v}\| \leq\varphi \|(I - \Psi)\mathbf{v}\|$ holds for all $\mathbf{v}$. Such inequalities are formalized as different realizations of the TAP, and form the basis for convergence of MGRiT and Parareal.


title: Effect of Graded Bias Voltage on the Microstructure of arc-PVD CrN Films and its Response in Electrochemical & Mechanical Behavior

abstract: The effect of graded or constant bias voltages (-40 V, -80 V and -40/60/80 V) on size grain and surface defects of arc PVD deposited CrN films was investigated. Corrosion resistance evaluated using electrochemical impedance spectroscopy (EIS) and potentiodynamic curves (Tafel) and the mechanical behavior evaluated by means of instrumented nanoindentation and scratch testing was correlated with the microstructural changes. It was found that the bias voltage variation affects corrosion behavior due to the presence of defects (i.e. open voids, droplets) which also affects the failure mechanisms and increasing spallation. High bias voltage (-80 V) increases nano-hardness and the elastic modulus due to the dense microstructure of the CrN coating.


title: The Effect of Whole-Body Haptic Feedback on Driver's Perception in Negotiating a Curve

abstract: It remains uncertain regarding the safety of driving in autonomous vehicles that, after a long, passive control and inattention to the driving situation, how the drivers will be effectively informed to take-over the control in emergency. In particular, the active role of vehicle force feedback on the driver's risk perception on curves has not been fully explored. To investigate it, the current paper examined the driver's cognitive and visual responses to the whole-body haptic feedback during curve negotiations. The effects of force feedback on drivers' responses on curves were investigated in a high-fidelity driving simulator while measuring EEG and visual gaze over ten participants. The preliminary analyses of the first two participants revealed that pupil diameter and fixation time on the curves were significantly longer when the driver received whole-body feedback, compared to none. The findings suggest that whole-body feedback can be used as an effective "advance notification" of hazards.


title: Palais leaf-space manifolds and surfaces carrying holomorphic flows

abstract: Starting from some remarkable singularities of holomorphic vector fields, we construct (open) complex surfaces over which the singularities in question are realized by complete vector fields. Our constructions lead to manifolds and vector fields beyond the algebraic setting and provide examples of complete vector fields with some new dynamical phenomena.


title: Linear stability of the Linet - Tian solution with positive cosmological constant

abstract: The purpose of this paper is to extend the analysis of gravitational instability of the Linet - Tian solution to the case $\Lambda > 0$. A fundamental difference brought about by $\Lambda >0$, as compared to $\Lambda<0$ is in the structure of the resulting space time. Associated with each of the two commuting Killing vectors $\partial_{\phi}$, and $\partial_{z}$, there is a curvature singularity that has the same characteristics as that associated to $\partial_{\phi}$ in the Levi - Civita metric, and we show that there is an isometry relating these singularities that reduces the effective parameter space of the metrics. In attempting to set up and solve the linearized perturbation equations we are confronted with the problem of a gauge ambiguity that leads to the introduction of a gauge invariant function, $W_1$, that is shown to be also a {\em master function}, that satisfies a second order ODE, and in terms of which one can express all the perturbation functions. Unfortunately, the equation satisfied by $W_1$ contains singular coefficients, and, although {\em all} its solutions are regular, because of the presence of these singularities one cannot, as in the case of negative $\Lambda$, set up an associated self adjoint problem that provides a complete set of solutions for $W_1$. We are thus restricted to solving numerically the perturbation equations, and using those solutions for constructing $W_1$, for particular values of the parameters. In all the cases analyzed we find unstable modes, which strongly suggests that all the Linet - Tian space times with $\Lambda > 0$ are linearly unstable under gravitational perturbations. The problem of determining the time evolution of arbitrary initial data in terms of the $W_1$, or something equivalent, remains open.


title: Tuning Bandgap and Energy Stability of Organic-Inorganic Halide Perovskites through Surface Engineering

abstract: Organohalide perovskite with a variety of surface structures and morphologies have shown promising potential owing to the choice of the type of heterostructure dependent stability. We systematically investigate and discuss the impact of 2-dimensional molybdenum-disulphide (MoS2), molybdenum-diselenide (MoSe2), tungsten-disulphide (WS2), tungsten-diselenide (WSe2), boron- nitiride (BN) and graphene monolayers on band-gap and energy stability of organic-inorganic halide perovskites. We found that MAPbI3ML deposited on BN-ML shows room temperature stability (-25 meV~300K) with an optimal bandgap of ~1.6 eV. The calculated absorption coefficient also lies in the visible-light range with a maximum of 4.9 x 104 cm-1 achieved at 2.8 eV photon energy. On the basis of our calculations, we suggest that the encapsulation of an organic-inorganic halide perovskite monolayers by semiconducting monolayers potentially provides greater flexibility for tuning the energy stability and the bandgap.


title: A Search For Pulsations in the Optical Light Curve of the Nova ASASSN-17hx

abstract: We present high-speed optical observations of the nova ASASSN-17hx, taken both immediately after its discovery and close to its first peak in brightness, to search for seconds -- minutes pulsations associated with the convective eddy turnover timescale within the nova envelope. We do not detect any periodic signal with greater than $3\sigma$ significance. Through injection and recovery, we rule out periodic signals of fractional amplitude $>7.08\times10^{-4}$ on timescales of 2 seconds and fractional amplitude $>1.06\times10^{-3}$ on timescales of 10 minutes. Additional observations of novae are planned to further constrain ongoing simulations of the launch and propagation of nova winds.


title: Division by $1-\zeta$ on superelliptic curves and jacobians

abstract: In 2016, Yuri Zarhin gave formulas for "dividing a point on a hyperelliptic curve by 2." Given a point $P$ on a hyperelliptic curve $\mathcal{C}$, Zarhin gives the Mumford's representation of every degree $g$ divisor $D$ such that $2(D - g \infty) \sim P - \infty$. The aim of this paper is to generalize Zarhin's result to the superelliptic situation; instead of dividing by 2, we divide by $1 - \zeta$. Even though there is no Mumford's representation for superelliptic curves, we give a formula for functions which cut out $D$.


title: The Strassen Invariance Principle for Certain Non-stationary Markov-Feller Chains

abstract: We propose certain conditions which are sufficient for the functional law of the iterated logarithm (the Strassen invariance principle) for some general class of non-stationary Markov-Feller chains. This class may be briefly specified by the following two properties: firstly, the transition operator of the chain under consideration enjoys a non-linear Lyapunov-type condition, and secondly, there exists an appropriate Markovian coupling whose transition probability function can be decomposed into two parts, one of which is contractive and dominant in some sense. The construction of such a coupling derives from the paper of M. Hairer (Probab. Theory Related Fields, 124(3):345--380, 2002). Our criterion may serve as a useful tool in verifying the functional law of the iterated logarithm for certain random dynamical systems, developed eg. in molecular biology. In the final part of the paper we present an example application of our main theorem to the mathematical model describing stochastic dynamics of gene expression.


title: Online Markov Decoding: Lower Bounds and Near-Optimal Approximation Algorithms

abstract: We resolve the fundamental problem of online decoding with general $n^{th}$ order ergodic Markov chain models. Specifically, we provide deterministic and randomized algorithms whose performance is close to that of the optimal offline algorithm even when latency is small. Our algorithms admit efficient implementation via dynamic programs, and readily extend to (adversarial) non-stationary or time-varying settings. We also establish lower bounds for online methods under latency constraints in both deterministic and randomized settings, and show that no online algorithm can perform significantly better than our algorithms. Empirically, just with latency one, our algorithm outperforms the online step algorithm by over 30\% in terms of decoding agreement with the optimal algorithm on genome sequence data.


title: A Cohomology Theory for Planar Trivalent Graphs with Perfect Matchings

abstract: We introduce a new cohomology theory for planar trivalent graphs with perfect matchings. The graded Euler characteristic of the cohomology is a one variable polynomial called the 2-factor polynomial that, if nonzero when evaluated at one, implies that the perfect matching is even and therefore the graph is 4-face colorable. We also define several new polynomials invariants of graphs with and without perfect matchings that are invariants of abstract tensors systems and spin networks defined by Roger Penrose in the 1970s. We show how some of these polynomials can be ``categorified'' into their own homology theories.


title: Finite-thickness effects in plasmonic films with periodic cylindrical anisotropy

abstract: Finite-thickness effects are analyzed theoretically for the plasma frequency and associated dielectric response function of plasmonic films formed by periodically aligned, infinitely thin, identical metallic cylinders. The plasma frequency of the system is shown to have the unidirectional square-root-of-momentum and quasilinear momentum spatial dispersion for the thick and ultrathin films, respectively. This spatial dispersion and the unidirectional dielectric response nonlocality associated with it can be adjusted not only by the film material composition but also by varying the film thickness, the cylinder length, the cylinder-radius-to-film-thickness ratio, and by choosing the substrates and superstrates of the film appropriately. Application of the theory developed to the finite-thickness periodically aligned carbon nanotube films is discussed.


title: Tracking Users across the Web via TLS Session Resumption

abstract: User tracking on the Internet can come in various forms, e.g., via cookies or by fingerprinting web browsers. A technique that got less attention so far is user tracking based on TLS and specifically based on the TLS session resumption mechanism. To the best of our knowledge, we are the first that investigate the applicability of TLS session resumption for user tracking. For that, we evaluated the configuration of 48 popular browsers and one million of the most popular websites. Moreover, we present a so-called prolongation attack, which allows extending the tracking period beyond the lifetime of the session resumption mechanism. To show that under the observed browser configurations tracking via TLS session resumptions is feasible, we also looked into DNS data to understand the longest consecutive tracking period for a user by a particular website. Our results indicate that with the standard setting of the session resumption lifetime in many current browsers, the average user can be tracked for up to eight days. With a session resumption lifetime of seven days, as recommended upper limit in the draft for TLS version 1.3, 65% of all users in our dataset can be tracked permanently.


title: Probing Attacks on Physical Layer Key Agreement for Automotive Controller Area Networks (Extended Version)

abstract: Efficient key management for automotive networks (CAN) is a critical element, governing the adoption of security in the next generation of vehicles. A recent promising approach for dynamic key agreement between groups of nodes, Plug-and-Secure for CAN, has been demonstrated to be information theoretically secure based on the physical properties of the CAN bus. In this paper, we illustrate side-channel attacks, leading to nearly-complete leakage of the secret key bits, by an adversary that is capable of probing the CAN bus. We identify the fundamental characteristics that lead to such attacks and propose techniques to minimize the information leakage at the hardware, controller and system levels.


title: Spin-torque oscillation in a magnetic insulator probed by a single-spin sensor

abstract: Coherent, self-sustained oscillation of magnetization in spin-torque oscillators (STOs) is a promising source for on-chip, nanoscale generation of microwave magnetic fields. Such fields could be used for local excitation of spin-wave resonances, control of spin qubits, and studies of paramagnetic resonance. However, local characterization of fields emitted by an STO has remained an outstanding challenge. Here, we use the spin of a single nitrogen-vacancy (NV) defect in diamond to probe the magnetic fields generated by an STO in a microbar of ferromagnetic insulator yttrium-iron-garnet (YIG). The combined spectral resolution and sensitivity of the NV sensor allows us to resolve multiple spin-wave modes and characterize their damping. When damping is decreased sufficiently via spin injection, the modes auto-oscillate, as indicated by a strongly reduced linewidth, a diverging magnetic power spectral density, and synchronization of the STO frequency to an external microwave source. These results open the way for quantitative, nanoscale mapping of the microwave signals generated by STOs, as well as harnessing STOs as local probes of mesoscopic spin systems.


title: Solving Tree Problems with Category Theory

abstract: Artificial Intelligence (AI) has long pursued models, theories, and techniques to imbue machines with human-like general intelligence. Yet even the currently predominant data-driven approaches in AI seem to be lacking humans' unique ability to solve wide ranges of problems. This situation begs the question of the existence of principles that underlie general problem-solving capabilities. We approach this question through the mathematical formulation of analogies across different problems and solutions. We focus in particular on problems that could be represented as tree-like structures. Most importantly, we adopt a category-theoretic approach in formalising tree problems as categories, and in proving the existence of equivalences across apparently unrelated problem domains. We prove the existence of a functor between the category of tree problems and the category of solutions. We also provide a weaker version of the functor by quantifying equivalences of problem categories using a metric on tree problems.


title: Bethe subalgebras in Yangians and the wonderful compactification

abstract: We study the family of Bethe subalgebras in the Yangian $Y(\mathfrak{g})$ parameterized by the corresponding adjoint Lie group $G$. We describe their classical limits as subalgebras in the algebra of polynomial functions on the formal Lie group $G_1[[t^{-1}]]$. In particular we show that, for regular values of the parameter, these subalgebras are free polynomial algebras with the same Poincare series as the Cartan subalgebra of the Yangian. Next, we extend the family of Bethe subalgebras to the De Concini--Procesi wonderful compactification $\overline{G}\supset G$ and describe the subalgebras corresponding to generic points of any stratum in $\overline{G}$ as Bethe subalgebras in the Yangian of the corresponding Levi subalgebra in $\mathfrak{g}$.


title: Deep neural network based i-vector mapping for speaker verification using short utterances

abstract: Text-independent speaker recognition using short utterances is a highly challenging task due to the large variation and content mismatch between short utterances. I-vector based systems have become the standard in speaker verification applications, but they are less effective with short utterances. In this paper, we first compare two state-of-the-art universal background model training methods for i-vector modeling using full-length and short utterance evaluation tasks. The two methods are Gaussian mixture model (GMM) based and deep neural network (DNN) based methods. The results indicate that the I-vector_DNN system outperforms the I-vector_GMM system under various durations. However, the performances of both systems degrade significantly as the duration of the utterances decreases. To address this issue, we propose two novel nonlinear mapping methods which train DNN models to map the i-vectors extracted from short utterances to their corresponding long-utterance i-vectors. The mapped i-vector can restore missing information and reduce the variance of the original short-utterance i-vectors. The proposed methods both model the joint representation of short and long utterance i-vectors by using autoencoder. Experimental results using the NIST SRE 2010 dataset show that both methods provide significant improvement and result in a max of 28.43% relative improvement in Equal Error Rates from a baseline system, when using deep encoder with residual blocks and adding an additional phoneme vector. When further testing the best-validated models of SRE10 on the Speaker In The Wild dataset, the methods result in a 23.12% improvement on arbitrary-duration (1-5 s) short-utterance conditions.


title: Prediction of Atomization Energy Using Graph Kernel and Active Learning

abstract: Data-driven prediction of molecular properties presents unique challenges to the design of machine learning methods concerning data structure/dimensionality, symmetry adaption, and confidence management. In this paper, we present a kernel-based pipeline that can learn and predict the atomization energy of molecules with high accuracy. The framework employs Gaussian process regression to perform predictions based on the similarity between molecules, which is computed using the marginalized graph kernel. To apply the marginalized graph kernel, a spatial adjacency rule is first employed to convert molecules into graphs whose vertices and edges are labeled by elements and interatomic distances, respectively. We then derive formulas for the efficient evaluation of the kernel. Specific functional components for the marginalized graph kernel are proposed, while the effect of the associated hyperparameters on accuracy and predictive confidence are examined. We show that the graph kernel is particularly suitable for predicting extensive properties because its convolutional structure coincides with that of the covariance formula between sums of random variables. Using an active learning procedure, we demonstrate that the proposed method can achieve a mean absolute error of 0.62 +- 0.01 kcal/mol using as few as 2000 training samples on the QM7 data set.

categories: cs.LG cond-mat.mtrl-sci cs.CE physics.comp-ph stat.ML


title: Finding Options that Minimize Planning Time

abstract: We formalize the problem of selecting the optimal set of options for planning as that of computing the smallest set of options so that planning converges in less than a given maximum of value-iteration passes. We first show that the problem is NP-hard, even if the task is constrained to be deterministic---the first such complexity result for option discovery. We then present the first polynomial-time boundedly suboptimal approximation algorithm for this setting, and empirically evaluate it against both the optimal options and a representative collection of heuristic approaches in simple grid-based domains including the classic four-rooms problem.


title: On the class numbers of real cyclotomic fields of conductor $pq$

abstract: The class numbers $h^{+}$ of the real cyclotomic fields are very hard to compute. Methods based on discriminant bounds become useless as the conductor of the field grows and methods employing Leopoldt's decomposition of the class number become hard to use when the field extension is not cyclic of prime power. This is why other methods have been developed which approach the problem from different angles. In this paper we extend one of these methods that was designed for real cyclotomic fields of prime conductor, and we make it applicable to real cyclotomic fields of conductor equal to the product of two distinct odd primes. The main advantage of this method is that it does not exclude the primes dividing the order of the Galois group, in contrast to other methods. We applied our algorithm to real cyclotomic fields of conductor $<$ 2000 and we calculated the full order of the $l$-part of $h^{+}$ for all odd primes $l$ $<$ 10000.


title: Bayesian Time-Resolved Spectroscopy of GRB Pulses

abstract: We performed time-resolved spectroscopy on a sample of 38 single pulses from 37 gamma-ray bursts detected by the Fermi/Gamma-ray Burst Monitor during its first 9 years of mission. For the first time a fully Bayesian approach is applied. A total of 577 spectra are obtained and their properties studied using two empirical photon models, namely the cutoff power law and Band model. We present the obtained parameter distributions, spectral evolution properties, and parameter relations. We also provide the result files containing this information for usage in further studies. It is found that the cutoff power law model is the preferred model, based on the deviance information criterion and the fact that it consistently provides constrained posterior density maps. In contrast to previous works, the high-energy power-law index of the Band model, $\beta$, has in general a lower value for the single pulses in this work. In particular, we investigate the individual spectrum in each pulse, that has the largest value of the low-energy spectral indexes, $\alpha$. For these 38 spectra, we find that 60% of the $\alpha$ values are larger than $-2/3$, and thus incompatible with synchrotron emission.Finally, we find that the parameter relations show a variety of behaviours. Most noteworthy is the fact that the relation between $\alpha$ and the energy flux is similar for most of the pulses, independent of any evolution of the other parameters.


title: The 3-part of the Ideal Class Group of a certain family of real cyclotomic fields

abstract: In this paper we study the structure of the $3-$part of the ideal class group of a certain family of real cyclotomic fields with $3-$class number exactly $9$ and conductor equal to the product of two distinct odd primes. We employ known results from Class Field Theory as well as theoretical and numerical results on real cyclic sextic fields, and we show that the $3-$part of the ideal class group of such cyclotomic fields must be cyclic. We present four examples of fields that fall into our category, namely the fields of conductor $3 \cdot 331$, $7 \cdot 67$, $3 \cdot 643$ and $7 \cdot 257$, and they are the only ones amongst all real cyclotomic fields with conductor $pq \leq 2021$. The $3-$part of the class number for the two fields of conductor $3 \cdot 643$ and $7 \cdot 257$ was up to now unknown and we compute it in this paper.


title: A Scalable, Trustworthy Infrastructure for Collaborative Container Repositories

abstract: We present a scalable "Trustworthy Container Repository" (TCR) infrastructure for the storage of software container images, such as those used by Docker. Using an authenticated data structure based on index-ordered Merkle trees (IOMTs), TCR aims to provide assurances of 1) Integrity, 2) Availability, and 3) Confidentiality to its users, whose containers are stored in an untrusted environment. Trust within the TCR architecture is rooted in a low-complexity, tamper-resistant trusted module. The use of IOMTs allows such a module to efficiently track a virtually unlimited number of container images, and thus provide the desired assurances for the system's users. Using a simulated version of the proposed system, we demonstrate the scalability of platform by showing logarithmic time complexity up to $2^{25}$ (32 million) container images. This paper presents both algorithmic and proof-of-concept software implementations of the proposed TCR infrastructure.


title: Tetrahedra and Relative Directions in Space, Using 2 and 3-Space Simplexes for 3-Space Localization

abstract: This research presents a novel method of determining relative bearing and elevation measurements, to a remote signal, that is suitable for implementation on small embedded systems - potentially in a GPS denied environment. This is an important, currently open, problem in a number of areas, particularly in the field of swarm robotics, where rapid updates of positional information are of great importance. We achieve our solution by means of a tetrahedral phased array of receivers at which we measure the phase difference, or time difference of arrival, of the signal. We then perform an elegant and novel, albeit simple, series of direct calculations, on this information, in order to derive the relative bearing and elevation to the signal. This solution opens up a number of applications where rapidly updated and accurate directional awareness in 3-space is of importance and where the available processing power is limited by energy or CPU constraints.


title: ALMA Polarimetry of Sgr A*: Probing the Accretion Flow from the Event Horizon to the Bondi Radius

abstract: Millimeter polarimetry of Sgr A* probes the linearly polarized emission region on a scale of $\sim 10$ Schwarzschild radii ($R_S$) as well as the dense, magnetized accretion flow on scales out to the Bondi radius ($\sim 10^5 R_S$) through Faraday rotation. We present here multi-epoch ALMA Band 6 (230 GHz) polarimetry of Sgr A*. The results confirm a mean rotation measure, ${\rm RM} \approx -5 \times 10^5 {\rm\ rad\ m^{-2}}$, consistent with measurements over the past 20 years and support an interpretation of the RM as originating from a radiatively inefficient accretion flow (RIAF) with $\dot{M} \approx 10^{-8} { \rm\ M_{\odot}\ y^{-1} }$. Variability is observed for the first time in the RM on time scales that range from hours to months. The long-term variations may be the result of changes in the line of sight properties in a turbulent accretion flow. Short-term variations in the apparent RM are not necessarily the result of Faraday rotation and may be the result of complex emission and propagatation effects close to the black hole, some of which have been predicted in numerical modeling. We also confirm the detection of circular polarization at a mean value of $-1.1 \pm 0.2 \%$. It is variable in amplitude on time scales from hours to months but the handedness remains unchanged from that observed in past centimeter- and millimeter-wavelength detections. These results provide critical constraints for the analysis and interpretation of Event Horizon Telescope data of Sgr A*, M87, and similar sources.


title: Improved return level estimation via a weighted likelihood, latent spatial extremes model

abstract: Uncertainty in return level estimates for rare events, like the intensity of large rainfall events, makes it difficult to develop strategies to mitigate related hazards, like flooding. Latent spatial extremes models reduce uncertainty by exploiting spatial dependence in statistical characteristics of extreme events to borrow strength across locations. However, these estimates can have poor properties due to model misspecification: many latent spatial extremes models do not account for extremal dependence, which is spatial dependence in the extreme events themselves. We improve estimates from latent spatial extremes models that make conditional independence assumptions by proposing a weighted likelihood that uses the extremal coefficient to incorporate information about extremal dependence during estimation. This approach differs from, and is simpler than, directly modeling the spatial extremal dependence; for example, by fitting a max-stable process, which is challenging to fit to real, large datasets. We adopt a hierarchical Bayesian framework for inference, use simulation to show the weighted model provides improved estimates of high quantiles, and apply our model to improve return level estimates for Colorado rainfall events with 1% annual exceedance probability.


title: Density jump as a function of magnetic field strength for parallel collisionless shocks in pair plasmas

abstract: Collisionless shocks follow the Rankine-Hugoniot jump conditions to a good approximation. However, for a shock propagating parallel to a magnetic field, magnetohydrodynamics states that the shock properties are independent of the field strength, whereas recent Particle-in-Cell simulations reveal a significant departure from magnetohydrodynamics behavior for such shocks in the collisionless regime. This departure is found to be caused by a field-driven anisotropy in the downstream pressure, but the functional dependence of this anisotropy on the field strength is yet to be determined. Here, we present a non-relativistic model of the plasma evolution through the shock front, allowing for a derivation of the downstream anisotropy in terms of the field strength. Our scenario assumes double adiabatic evolution of a pair plasma through the shock front. As a result, the perpendicular temperature is conserved. If the resulting downstream is firehose stable, then the plasma remains in this state. If unstable, it migrates towards the firehose stability threshold. In both cases, the conservation equations, together with the relevant hypothesis made on the temperature, allows a full determination of the downstream anisotropy in terms of the field strength.

categories: physics.plasm-ph astro-ph.EP astro-ph.HE astro-ph.SR physics.space-ph


title: Exploring Sentence Vector Spaces through Automatic Summarization

abstract: Given vector representations for individual words, it is necessary to compute vector representations of sentences for many applications in a compositional manner, often using artificial neural networks. Relatively little work has explored the internal structure and properties of such sentence vectors. In this paper, we explore the properties of sentence vectors in the context of automatic summarization. In particular, we show that cosine similarity between sentence vectors and document vectors is strongly correlated with sentence importance and that vector semantics can identify and correct gaps between the sentences chosen so far and the document. In addition, we identify specific dimensions which are linked to effective summaries. To our knowledge, this is the first time specific dimensions of sentence embeddings have been connected to sentence properties. We also compare the features of different methods of sentence embeddings. Many of these insights have applications in uses of sentence embeddings far beyond summarization.


title: Malware triage for early identification of Advanced Persistent Threat activities

abstract: In the last decade, a new class of cyber-threats has emerged. This new cybersecurity adversary is known with the name of "Advanced Persistent Threat" (APT) and is referred to different organizations that in the last years have been "in the center of the eye" due to multiple dangerous and effective attacks targeting financial and politic, news headlines, embassies, critical infrastructures, TV programs, etc. In order to early identify APT related malware, a semi-automatic approach for malware samples analysis is needed. In our previous work we introduced a "malware triage" step for a semi-automatic malware analysis architecture. This step has the duty to analyze as fast as possible new incoming samples and to immediately dispatch the ones that deserve a deeper analysis, among all the malware delivered per day in the cyber-space, the ones that really worth to be further examined by analysts. Our paper focuses on malware developed by APTs, and we build our knowledge base, used in the triage, on known APTs obtained from publicly available reports. In order to have the triage as fast as possible, we only rely on static malware features, that can be extracted with negligible delay, and use machine learning techniques for the identification. In this work we move from multiclass classification to a group of oneclass classifier, which simplify the training and allows higher modularity. The results of the proposed framework highlight high performances, reaching a precision of 100% and an accuracy over 95%


title: Functionality-Oriented Convolutional Filter Pruning

abstract: The sophisticated structure of Convolutional Neural Network (CNN) allows for outstanding performance, but at the cost of intensive computation. As significant redundancies inevitably present in such a structure, many works have been proposed to prune the convolutional filters for computation cost reduction. Although extremely effective, most works are based only on quantitative characteristics of the convolutional filters, and highly overlook the qualitative interpretation of individual filter's specific functionality. In this work, we interpreted the functionality and redundancy of the convolutional filters from different perspectives, and proposed a functionality-oriented filter pruning method. With extensive experiment results, we proved the convolutional filters' qualitative significance regardless of magnitude, demonstrated significant neural network redundancy due to repetitive filter functions, and analyzed the filter functionality defection under inappropriate retraining process. Such an interpretable pruning approach not only offers outstanding computation cost optimization over previous filter pruning methods, but also interprets filter pruning process.


title: Compressed Randomized UTV Decompositions for Low-Rank Approximations and Big Data Applications

abstract: Low-rank matrix approximations play a fundamental role in numerical linear algebra and signal processing applications. This paper introduces a novel rank-revealing matrix decomposition algorithm termed Compressed Randomized UTV (CoR-UTV) decomposition along with a CoR-UTV variant aided by the power method technique. CoR-UTV is primarily developed to compute an approximation to a low-rank input matrix by making use of random sampling schemes. Given a large and dense matrix of size $m\times n$ with numerical rank $k$, where $k \ll \text{min} \{m,n\}$, CoR-UTV requires a few passes over the data, and runs in $O(mnk)$ floating-point operations. Furthermore, CoR-UTV can exploit modern computational platforms and, consequently, can be optimized for maximum efficiency. CoR-UTV is simple and accurate, and outperforms reported alternative methods in terms of efficiency and accuracy. Simulations with synthetic data as well as real data in image reconstruction and robust principal component analysis applications support our claims.


title: A Short Introduction to Local Graph Clustering Methods and Software

abstract: Graph clustering has many important applications in computing, but due to the increasing sizes of graphs, even traditionally fast clustering methods can be computationally expensive for real-world graphs of interest. Scalability problems led to the development of local graph clustering algorithms that come with a variety of theoretical guarantees. Rather than return a global clustering of the entire graph, local clustering algorithms return a single cluster around a given seed node or set of seed nodes. These algorithms improve scalability because they use time and memory resources that depend only on the size of the cluster returned, instead of the size of the input graph. Indeed, for many of them, their running time grows linearly with the size of the output. In addition to scalability arguments, local graph clustering algorithms have proven to be very useful for identifying and interpreting small-scale and meso-scale structure in large-scale graphs. As opposed to heuristic operational procedures, this class of algorithms comes with strong algorithmic and statistical theory. These include statistical guarantees that prove they have implicit regularization properties. One of the challenges with the existing literature on these approaches is that they are published in a wide variety of areas, including theoretical computer science, statistics, data science, and mathematics. This has made it difficult to relate the various algorithms and ideas together into a cohesive whole. We have recently been working on unifying these diverse perspectives through the lens of optimization as well as providing software to perform these computations in a cohesive fashion. In this note, we provide a brief introduction to local graph clustering, we provide some representative examples of our perspective, and we introduce our software named Local Graph Clustering (LGC).


title: Hermitian manifolds with quasi-negative curvature

abstract: In this work, we show that along a particular choice of Hermitian curvature flow, the non-positivity of Chern-Ricci curvature will be preserved if the initial metric has non-positive bisectional curvature. As an application, we show that the canonical line bundle of a compact Hermitian manifold with nonpositive bisectional curvature and quasi-negative Chern-Ricci curvature is ample.


title: A note on the asymptotics of the number of O-sequences of given length

abstract: We look at the number $L(n)$ of $O$-sequences of length $n$. Recall that an $O$-sequence can be defined algebraically as the Hilbert function of a standard graded $k$-algebra, or combinatorially as the $f$-vector of a multicomplex. The sequence $L(n)$ was first investigated in a recent paper by commutative algebraists Enkosky and Stone, inspired by Huneke. In this note, we significantly improve both of their upper and lower bounds, by means of a very short partition-theoretic argument. In particular, it turns out that, for suitable positive constants $c_1$ and $c_2$ and all $n>2$, $$e^{c_1\sqrt{n}}\le L(n)\le e^{c_2\sqrt{n}\log n}.$$ It remains an open problem to determine an exact asymptotic estimate for $L(n)$.


title: Space-time fractional NLS equation

abstract: In this paper we prove local well-posedness of a space-time fractional generalization of the nonlinear Schr\"odinger equation with a power-type nonlinearity. The linear equation coincides with a model proposed by Naber, and displays a nonlocal behavior both in space and time which accounts for long-range interactions and a so-called memory effect. Because of a loss of derivatives produced by the latter and the lack of semigroup structure of the solution operator, we employ a strategy of proof based on exploiting some smoothing effect similar to that used by Kenig, Ponce and Vega for the KdV equation. Finally, we prove analytic ill-posedness of the data-to-solution map in the supercritical case.


title: Maximum Angular Separation Epochs for Exoplanet Imaging Observations

abstract: Direct imaging of exoplanets presents both significant challenges and significant gains. The advantages primarily lie in receiving emitted and, with future instruments, reflected photons at phase angles not accessible by other techniques, enabling the potential for atmospheric studies and the detection of rotation and surface features. The challenges are numerous and include coronagraph development and achieving the necessary contrast ratio. Here, we address the specific challenge of determining epochs of maximum angular separation for the star and planet. We compute orbital ephemerides for known transiting and radial velocity planets, taking Keplerian orbital elements into account. We provide analytical expressions for angular star--planet separation as a function of the true anomaly, including the locations of minimum and maximum. These expressions are used to calculate uncertainties for maximum angular separation as a function of time for the known exoplanets, and we provide strategies for improving ephemerides with application to proposed and planned imaging missions.


title: Structure and enumeration results of matchable Lucas cubes

abstract: A lucasene is a hexagon chain that is similar to a fibonaccene, an $L$-fence is a poset the Hasse diagram of which is isomorphic to the directed inner dual graph of the corresponding lucasene. A new class of cubes, which named after matchable Lucas cubes according to the number of its vertices (or elements), are a series of directed or undirected Hasse diagrams of filter lattices of $L$-fences. The basic properties and several classes of polynomials, e.g.\ rank generating functions, cube polynomials and degree sequence polynomials, of matchable Lucas cubes are obtained. Some special conclusions on binomial coefficients and Lucas triangle are given.


title: Spitzer Planck Herschel Infrared Cluster (SPHerIC) survey: Candidate galaxy clusters at 1.3 < z < 3 selected by high star-formation rate

abstract: There is a lack of large samples of spectroscopically confirmed clusters and protoclusters at high redshifts, $z>$1.5. Discovering and characterizing distant (proto-)clusters is important for yielding insights into the formation of large-scale structure and on the physical processes responsible for regulating star-formation in galaxies in dense environments. The Spitzer Planck Herschel Infrared Cluster (SPHerIC) survey was initiated to identify these characteristically faint and dust-reddened sources during the epoch of their early assembly. We present Spitzer IRAC observations of 82 galaxy (proto-)cluster candidates at 1.3<$z_p$<3.0 that were vetted in a two step process: (1) using Planck to select by color those sources with the highest star-formation rates, and (2) using Herschel at higher resolution to separate out the individual red sources. The addition of the Spitzer data enables efficient detection of the central and massive brightest red cluster galaxies (BRCGs). We find that BRCGs are associated with highly significant, extended and crowded regions of IRAC sources which are more overdense than the field. This result corroborates our hypothesis that BRCGs within the Planck - Herschel sources trace some of the densest and actively star-forming proto-clusters in the early Universe. On the basis of a richness-mass proxy relation, we obtain an estimate of their mean masses which suggests our sample consists of some of the most massive clusters at z$\approx$2 and are the likely progenitors of the most massive clusters observed today.


title: Alpha decay in intense laser fields: Calculations using realistic nuclear potentials

abstract: We calculate the effect of intense laser fields on nuclear alpha decay processes, using realistic and quantitative nuclear potentials. We show that alpha decay rates can indeed be modified by strong laser fields to some finite extent. We also predict that alpha decays with lower decay energies are relatively easier to be modified than those with higher decay energies, due to longer tunneling paths for the laser field to act on. Furthermore, we predict that modifications to angle-resolved penetrability are easier to achieve than modifications to angle-integrated penetrability.


title: A class of non-matchable distributive lattices

abstract: The set of all perfect matchings of a plane (weakly) elementary bipartite graph equipped with a partial order is a poset, moreover the poset is a finite distributive lattice and its Hasse diagram is isomorphic to $Z$-transformation directed graph of the graph. A finite distributive lattice is matchable if its Hasse diagram is isomorphic to a $Z$-transformation directed graph of a plane weakly elementary bipartite graph, otherwise non-matchable. We introduce the meet-irreducible cell with respect to a perfect matching of a plane (weakly) elementary bipartite graph and give its equivalent characterizations. Using these, we extend a result on non-matchable distributive lattices, and obtain a class of new non-matchable distributive lattices.


title: Birational superrigidity and K-stability of projectively normal Fano manifolds of index one

abstract: We prove that every projectively normal Fano manifold in $\mathbb{P}^{n+r}$ of index $1$, codimension $r$ and dimension $n\geq 10r$ is birationally superrigid and K-stable. This result was previously proved by Zhuang under the complete intersection assumption.


title: Small-Deviation Inequalities for Sums of Random Matrices

abstract: Random matrices have played an important role in many fields including machine learning, quantum information theory and optimization. One of the main research focuses is on the deviation inequalities for eigenvalues of random matrices. Although there are intensive studies on the large-deviation inequalities for random matrices, only a few of works discuss the small-deviation behavior of random matrices. In this paper, we present the small-deviation inequalities for the largest eigenvalues of sums of random matrices. Since the resulting inequalities are independent of the matrix dimension, they are applicable to the high-dimensional and even the infinite-dimensional cases.


title: Quenching timescales of galaxies in the EAGLE simulations

abstract: We use the \eagle\ simulations to study the connection between the quenching timescale, $\tau_{\rm Q}$, and the physical mechanisms that transform star-forming galaxies into passive galaxies. By quantifying $\tau_{\rm Q}$ in two complementary ways - as the time over which (i) galaxies traverse the green valley on the colour-mass diagram, or (ii) leave the main sequence of star formation and subsequently arrive on the passive cloud in specific star formation rate (SSFR)-mass space - we find that the $\tau_{\rm Q}$ distribution of high-mass centrals, low-mass centrals and satellites are divergent. In the low stellar mass regime where $M_{\star}<10^{9.6}M_{\odot}$, centrals exhibit systematically longer quenching timescales than satellites ($\approx 4$~Gyr compared to $\approx 2$~Gyr). Satellites with low stellar mass relative to their halo mass cause this disparity, with ram pressure stripping quenching these galaxies rapidly. Low mass centrals are quenched as a result of stellar feedback, associated with long $\tau_{\rm Q}\gtrsim 3$~Gyr. At intermediate stellar masses where $10^{9.7}\,\rm M_{\odot}<M_{\star}<10^{10.3}\,\rm M_{\odot}$, $\tau_{\rm Q}$ are the longest for both centrals and satellites, particularly for galaxies with higher gas fractions. At $M_{\star}\gtrsim 10^{10.3}\,\rm M_{\odot}$, galaxy merger counts and black hole activity increase steeply for all galaxies. Quenching timescales for centrals and satellites decrease with stellar mass in this regime to $\tau_{\rm Q}\lesssim2$~Gyr. In anticipation of new intermediate redshift observational galaxy surveys, we analyse the passive and star-forming fractions of galaxies across redshift, and find that the $\tau_{\rm Q}$ peak at intermediate stellar masses is responsible for a peak (inflection point) in the fraction of green valley central (satellite) galaxies at $z\approx 0.5-0.7$.


title: Interface enhanced magnetic anisotropy in Pt/EuO films

abstract: We report proximity effects of spin-orbit coupling in EuO$_{1-x}$ films capped with a Pt overlayer. Transport measurements suggest that current flows along a conducting channel at the interface between the Pt and EuO. The temperature dependence of the resistivity picks up the critical behaviors of EuO, i.e., the metal-to-insulator transition. We also find an unusual enhancement of the magnetic anisotropy in this structure from its bulk value which results from strong spin-orbit coupling across the Pt/EuO interface.


title: Aerosol-OT surfactant forms stable reverse micelles in aploar solvent in the absence of water

abstract: Normal micelle aggregates of amphiphilic surfactant in aqueous solvent are formed by a process of entropically driven self-assembly. The self-assembly of reverse micelles from amphiphilic surfactant in non-polar solvent in the presence of water is considered to be an enthalpically driven process. While the formation of normal and reverse surfactant micelles has been well characterized in theory and experiment, the nature of dry micelle formation, from amphiphilic surfactant in non-polar solvent in the absence of water, is poorly understood. In this study, a theory of dry reverse micelle formation is developed. Variation in free energy during micelle assembly is derived for the specific case of AOT surfactant in isooctane solvent using atomistic molecular dynamics simulation analyzed using the energy representation method. The existence and thermodynamic stability of dry reverse micelles of limited size are confirmed. The abrupt occurence of monodisperse aggregates is a clear signature a critical micelle concentration, commonly observed in the formation of normal surfactant micelles. The morphology of large dry micelles provides insight into the nature of the thermodynamic driving forces stabilizing the formation of the surfactant aggregates. Overall, this study provides detailed insight into the structure and stability of dry reverse micelles assembly in non-polar solvent.


title: A Mobile Ad hoc Cloud Computing and Networking Infrastructure for Automated Video Surveillance System

abstract: Mobile automated video surveillance system involves application of real-time image and video processing algorithms which require a vast quantity of computing and storage resources. To support the execution of mobile automated video surveillance system, a mobile ad hoc cloud computing and networking infrastructure is proposed in which multiple mobile devices interconnected through a mobile ad hoc network are combined to create a virtual supercomputing node. An energy efficient resource allocation scheme has also been proposed for allocation of realtime automated video surveillance tasks. To enable communication between mobile devices, a Wi-Fi Direct based mobile ad hoc cloud networking infrastructure has been developed. More specifically, a routing layer has been developed to support communication between Wi-Fi Direct devices in a group and multi-hop communication between devices across the group. The proposed system has been implemented on a group of Wi-Fi Direct-enabled Samsung mobile devices.


title: Security Matters: A Survey on Adversarial Machine Learning

abstract: Adversarial machine learning is a fast growing research area, which considers the scenarios when machine learning systems may face potential adversarial attackers, who intentionally synthesize input data to make a well-trained model to make mistake. It always involves a defending side, usually a classifier, and an attacking side that aims to cause incorrect output. The earliest studies on the adversarial examples for machine learning algorithms start from the information security area, which considers a much wider varieties of attacking methods. But recent research focus that popularized by the deep learning community places strong emphasis on how the "imperceivable" perturbations on the normal inputs may cause dramatic mistakes by the deep learning with supposed super-human accuracy. This paper serves to give a comprehensive introduction to a range of aspects of the adversarial deep learning topic, including its foundations, typical attacking and defending strategies, and some extended studies.


title: Lubricity of graphene on rough Au surfaces

abstract: This paper studies the lubricating properties of graphene on randomly rough Au surfaces in sliding nanofriction using molecular dynamics. It is shown that the friction and the consequent heat dissipation decrease more than an order of magnitude in the presence of graphene. The performance of graphene nanoribbons as lubricants is, however, limited because of detachment and displacement at the interface. Sliding contacts lubricated with a stretched graphene sheet exhibit low friction, but possibly also low structural stability. This suggests that the graphene-substrate adherence could be crucial for the lubricity of two-dimensional materials on rough metal surfaces.