title: Sparse Representation and Non-Negative Matrix Factorization for image denoise

abstract: Recently, the problem of blind image separation has been widely investigated, especially the medical image denoise which is the main step in medical diag-nosis. Removing the noise without affecting relevant features of the image is the main goal. Sparse decomposition over redundant dictionaries become of the most used approaches to solve this problem. NMF codes naturally favor sparse, parts-based representations. In sparse representation, signals represented as a linear combination of a redundant dictionary atoms. In this paper, we propose an algorithm based on sparse representation over the redundant dictionary and Non-Negative Matrix Factorization (N-NMF). The algorithm initializes a dic-tionary based on training samples constructed from noised image, then it searches for the best representation for the source by using the approximate matching pursuit (AMP). The proposed N-NMF gives a better reconstruction of an image from denoised one. We have compared our numerical results with different image denoising techniques and we have found the performance of the proposed technique is promising. Keywords: Image denoising, sparse representation, dictionary learning, matching pursuit, non-negative matrix factorization.


title: The further estimations of the Q-balls with one-loop motivated effective potential

abstract: The analytical estimations on the Friedberg-Lee-Sirlin typed Q-balls is performed. The two-field Q-balls are also discussed under the one-loop motivated effective potential subject to the temperature. We argue under the analytical consideration that the parameters from the potential can be regulated to lead the energy per unit charge of Q-balls to be lower to keep the model stable. If the energy density is low enough, the Q-balls can become candidates of dark matter. It is also shown rigorously that the two-field Q-balls can generate in the first-order phase transition and survive while they are affected by the expansion of the universe. The analytical evaluations show that the Q-balls with one-loop motivated effective potential can exist with the adjustment of coefficients of terms. We cancel the infinity in the energy to obtain the necessary conditions consist with those imposed in the previous work. According to the approximate expressions instead of curves versus the model parameters with a series of fixed values, the lower temperature will reduce the energy density, so there probably have been more and more stable Friedberg-Lee-Sirlin typed Q-balls to become the dark matter in the expansion of the universe.


title: Computer modelling of connectivity change suggests epileptogenesis mechanisms in idiopathic generalised epilepsy

abstract: Patients with idiopathic generalised epilepsy (IGE) typically have normal conventional magnetic resonance imaging (MRI), hence MRI based diagnosis is challenging. Anatomical abnormalities underlying brain dysfunctions in IGE are unclear and their relation to the pathomechanisms of epileptogenesis is poorly understood. In this study, we applied connectometry, an advanced quantitative neuroimaging technique for investigating localised changes in white-matter tissue. Analysing white matter structures of 32 subjects we incorporated our findings in a computational model of seizure dynamics to suggest a plausible mechanism of epileptogenesis. Patients with IGE have significant bilateral alterations in major white-matter fascicles. In the cingulum, fornix, and superior longitudinal fasciculus, tract integrity is compromised, whereas in specific parts of tracts between thalamus and the precentral gyrus, tract integrity is enhanced in patients. Combining these alterations in a logistic regression model, we computed the decision boundary that discriminated patients and controls. The computational model, informed with the findings on the tract abnormalities, specifically highlighted the importance of enhanced cortico-reticular connections along with impaired cortico-cortical connections in inducing pathological seizure-like dynamics. We emphasise taking directionality of brain connectivity into consideration towards understanding the pathological mechanisms; this is possible by combining neuroimaging and computational modelling. Our imaging evidence of structural alterations suggest the loss of cortico-cortical and enhancement of cortico-thalamic fibre integrity in IGE. We further suggest that impaired connectivity from cortical regions to the thalamic reticular nucleus offers a therapeutic target for selectively modifying the brain circuit for reversing the mechanisms leading to epileptogenesis.


title: Deep Learning for Audio Transcription on Low-Resource Datasets

abstract: In training a deep learning system to perform audio transcription, two practical problems may arise. Firstly, most datasets are weakly labelled, having only a list of events present in each recording without any temporal information for training. Secondly, deep neural networks need a very large amount of labelled training data to achieve good quality performance, yet in practice it is difficult to collect enough samples for most classes of interest. In this paper, we propose factorising the final task of audio transcription into multiple intermediate tasks in order to improve the training performance when dealing with this kind of low-resource datasets. We evaluate three data-efficient approaches of training a stacked convolutional and recurrent neural network for the intermediate tasks. Our results show that different methods of training have different advantages and disadvantages.


title: Thermal Percolation Threshold and Thermal Properties of Composites with Graphene and Boron Nitride Fillers

abstract: We investigated thermal properties of the epoxy-based composites with a high loading fraction - up to f=45 vol.% - of the randomly oriented electrically conductive graphene fillers and electrically insulating boron nitride fillers. It was found that both types of the composites revealed a distinctive thermal percolation threshold at the loading fraction f>20 vol.%. The graphene loading required for achieving the thermal percolation was substantially higher than the loading for the electrical percolation. Graphene fillers outperformed boron nitride fillers in the thermal conductivity enhancement. It was established that thermal transport in composites with the high filler loading, above the thermal percolation threshold, is dominated by heat conduction via the network of percolating fillers. Unexpectedly, we determined that the thermal transport properties of the high loading composites were influenced strongly by the cross-plane thermal conductivity of the quasi-two-dimensional fillers. The obtained results shed light on the debated mechanism of the thermal percolation, and facilitate the development of the next generation of the efficient thermal interface materials for electronic applications.


title: A Search for a Globular Cluster whose Passage through the Galactic Disk Could Induce the Formation of the Gould Belt

abstract: The distribution of sites where globular clusters have crossed the Galactic disk during the last 100 million years has been analyzed using the most recent kinematic data for 133 globular clusters (GCs). Three GCs (NGC 6341, NGC 7078, and $\omega$ Cen) whose distances between the positions where they crossed the Galactic disk and trajectories of the Gould Belt are less than 20\% of their heliocentric distances at the crossing time (82, 98, and 96 million years ago, respectively) have been identified. For each of the clusters, this was their next to last, rather than their last, crossing of the Galactic disk. The passage of any one of these three GCs through the disk could potentially have initiated the formation of the Gould Belt.


title: Lie symmetries methods in boundary crossing problems for diffusion processes

abstract: This paper uses Lie symmetry methods to analyze boundary crossing probabilities for a large class of diffusion processes. We show that if Fokker--Planck--Kolmogorov equation has non-trivial Lie symmetry, then boundary crossing identity exists and depends only on parameters of process and symmetry. For time-homogeneous diffusion processes we found necessary and sufficient conditions of symmetries' existence. This paper shows that if drift function satisfy one of a family of Ricatti equations, then the problem has nontrivial Lie symmetries. For each case we present symmetries in explicit form. Based on obtained results, we derive two-parametric boundary crossing identities and prove its uniqueness. Further, we present boundary crossing identities between different process. We show, that if the problem has 6 or 4 group of symmetries then the first passage time density to any boundary can be explicitly represented in terms of the first passage time by Brownian motion or Bessel process. Many examples are presented to illustrate the method.


title: A new approach to cosmological structure formation with massive neutrinos

abstract: We show how Newtonian cosmological simulations can be employed to investigate the non-linear evolution of two particle species in a relativistic context. We discuss the application for massive neutrinos and other multi-species systems such as Cold Dark Matter (CDM) plus baryons or Warm Dark Matter (WDM). We propose a method that allows us to perform simulations including massive neutrinos and general relativistic effects at almost the same computational cost as ordinary CDM only N-body simulations, employing tailor-made initial conditions and a dictionary for the interpretation of the simulation output.


title: Optimizing hot electron harvesting at planar metal-semiconductor interfaces with titanium oxynitride thin films

abstract: Understanding metal-semiconductor interfaces is critical to the advancement of photocatalysis and sub-bandgap solar energy harvesting where sub-bandgap photons can be excited and extracted into the semiconductor. In this work, we compare the electron extraction efficiency across Au/TiO2 and titanium oxynitride/TiO2-x interfaces, where in the latter case the spontaneously forming oxide layer (TiO2-x) creates a metal-semiconductor contact. Time-resolved pump-probe spectroscopy is used to study the electron recombination rates in both cases. Unlike the nanosecond recombination lifetimes in Au/TiO2, we find a bottleneck in the electron relaxation in the TiON system, which we explain using a trap-mediated recombination model. Using this model, we investigate the tunability of the relaxation dynamics with oxygen content in the parent film. The optimized film (TiO0.5N0.5) exhibits the highest carrier extraction efficiency, slowest trapping and an appreciable hot electron population reaching the surface oxide. Our results demonstrate the productive role oxygen can play in enhancing electron harvesting and elongating electron lifetimes providing an optimized metal-semiconductor interface using only the native oxide of titanium oxynitride.


title: Competitive Parallelism: Getting Your Priorities Right

abstract: Multi-threaded programs have traditionally fallen into one of two domains: cooperative and competitive. These two domains have traditionally remained mostly disjoint, with cooperative threading used for increasing throughput in compute-intensive applications such as scientific workloads and cooperative threading used for increasing responsiveness in interactive applications such as GUIs and games. As multicore hardware becomes increasingly mainstream, there is a need for bridging these two disjoint worlds, because many applications mix interaction and computation and would benefit from both cooperative and competitive threading. In this paper, we present techniques for programming and reasoning about parallel interactive applications that can use both cooperative and competitive threading. Our techniques enable the programmer to write rich parallel interactive programs by creating and synchronizing with threads as needed, and by assigning threads user-defined and partially ordered priorities. To ensure important responsiveness properties, we present a modal type system analogous to S4 modal logic that precludes low-priority threads from delaying high-priority threads, thereby statically preventing a crucial set of priority-inversion bugs. We then present a cost model that allows reasoning about responsiveness and completion time of well-typed programs. The cost model extends the traditional work-span model for cooperative threading to account for competitive scheduling decisions needed to ensure responsiveness. Finally, we show that our proposed techniques are realistic by implementing them as an extension to the Standard ML language.


title: Soft gluon resummation for Higgs boson pair production including finite Mt effects

abstract: We perform the all orders resummation of threshold enhanced contributions for the Higgs boson pair production cross section via gluon fusion, including finite top quark mass ($M_t$) effects. We present results for the total cross section and Higgs pair invariant mass ($M_{hh}$) distribution. We obtain results at next-to-leading logarithmic accuracy (NLL) which retain the full $M_t$ dependence, and are matched to the full next-to-leading order (NLO) prediction. Our NLL+NLO results represent the most advanced prediction with full $M_t$ dependence for this process, and produce an increase of about 4% in the total cross section with respect to the NLO result for LHC energies, and for a central scale $\mu_0 = M_{hh}/2$. We also consistently combine the full NLL with the next-to-next-to-leading logarithmically (NNLL) accurate resummation computed in the Born-improved large-$M_t$ limit, and match it to the next-to-next-to-leading order approximation of Ref. \cite{Grazzini:2018bsd}, so called NNLO_FTa. We find that the resummation effects are very small at NNLL for $\mu_0 = M_{hh}/2$, in particular below 1% at 13 TeV, indicating that the perturbative expansion is under control. In all cases the resummation effects are found to be substantially larger for the central scale $\mu_0 = M_{hh}$, resulting in a more stable cross section with respect to scale variations than the fixed order calculation.


title: Decision making under uncertainty using imprecise probabilities

abstract: Various ways for decision making with imprecise probabilities (admissibility, maximal expected utility, maximality, E-admissibility, $\Gamma$-maximax, $\Gamma$-maximin, all of which are well-known from the literature) are discussed and compared. We generalize a well-known sufficient condition for existence of optimal decisions. A simple numerical example shows how these criteria can work in practice, and demonstrates their differences. Finally, we suggest an efficient approach to calculate optimal decisions under these decision criteria.


title: H\"older Conditions of Local Times and Exact Moduli of non-differentiability for Spherical Gaussian fields

abstract: This paper investigate the local times and modulus of nondifferentiability of the spherical Gaussian random fields. We extend the methods for studying the local times of Gaussian to the spherical setting. The new main ingredient is the property of strong local nondeterminism established recently in Lan et al (2018).


title: Deciphering the oscillation spectrum of $\gamma$ Doradus and SPB stars

abstract: The space-based Kepler mission provided four years of highly precise and almost uninterrupted photometry for hundreds of $\gamma$ Doradus stars and tens of SPB stars, finally allowing us to apply asteroseismology to these gravity mode pulsators. Without rotation, gravity modes are equally spaced in period. This simple structure does not hold in rotating stars for which rotation needs to be taken into account to accurately interpret the oscillation spectrum. We aim to develop a stellar-model-independent method to analyse and interpret the oscillation spectrum of $\gamma$ Dor and SPB stars. Within the traditional approximation of rotation, we highlight the possibility of recovering the equidistance of period spacings by stretching the pulsation periods. The stretching function depends on the degree and azimuthal order of gravity modes and the rotation rate of the star. In this new stretched space, the pulsation modes are regularly spaced by the stellar buoyancy radius. On the basis of this property, we implemented a method to search for these new regularities and simultaneously infer the rotation frequency and buoyancy radius. Tests on synthetic spectra computed with a non-perturbative approach show that we can retrieve these two parameters with reasonable accuracy along with the mode identification. In uniformly rotating models of a typical $\gamma$ Dor star, and for the most observed prograde dipole modes, we show that the accuracy on the derived parameters is better than 5% on both the internal rotation rate and the buoyancy radius. Finally, we apply the method to two stars of the Kepler field, a $\gamma$ Dor and an SPB, and compare our results with those of other existing methods. We provide a stellar-model-independent method to obtain the near-core rotation rate, the buoyancy radius and mode identification from g-mode spectra of $\gamma$ Dor and SPB stars.


title: Deterministic Policy Gradients With General State Transitions

abstract: We study a reinforcement learning setting, where the state transition function is a convex combination of a stochastic continuous function and a deterministic function. Such a setting generalizes the widely-studied stochastic state transition setting, namely the setting of deterministic policy gradient (DPG). We firstly give a simple example to illustrate that the deterministic policy gradient may be infinite under deterministic state transitions, and introduce a theoretical technique to prove the existence of the policy gradient in this generalized setting. Using this technique, we prove that the deterministic policy gradient indeed exists for a certain set of discount factors, and further prove two conditions that guarantee the existence for all discount factors. We then derive a closed form of the policy gradient whenever exists. Furthermore, to overcome the challenge of high sample complexity of DPG in this setting, we propose the Generalized Deterministic Policy Gradient (GDPG) algorithm. The main innovation of the algorithm is a new method of applying model-based techniques to the model-free algorithm, the deep deterministic policy gradient algorithm (DDPG). GDPG optimize the long-term rewards of the model-based augmented MDP subject to a constraint that the long-rewards of the MDP is less than the original one. We finally conduct extensive experiments comparing GDPG with state-of-the-art methods and the direct model-based extension method of DDPG on several standard continuous control benchmarks. Results demonstrate that GDPG substantially outperforms DDPG, the model-based extension of DDPG and other baselines in terms of both convergence and long-term rewards in most environments.


title: Evidence of the isoelectronic character of F doping in SmFeAsO(1-x)F(x): a first-principles investigation

abstract: We study the electronic structure of the SmFeAsO(1-x)F(x) alloy by means of first-principle calculations. We find that, contrary to common believe, F-doping does not change the charge balance between electrons and holes free-carriers in SmFeAsO(1-x)F(x). For energies within a narrow energy range across E_F, the effect of F-doping on the band structure dispersion is tiny in both the paramagnetic and stripe antiferromagnetic phase. The charge balance between the conducting FeAs-layer and the SmO(1-x)F(x) charge reservoir layer is not influenced by the compositional change. The additional charge carried by fluorine, with respect to the oxygen, is compensated by a change in the oxidation state of the Sm ion from 3+ to 2+. A comparison with the SmFe(1-x)Co(x)AsO system shows that such charge compensation by the Sm ion is not shared by donors substituting at the Fe site.


title: Recurrent Auto-Encoder Model for Large-Scale Industrial Sensor Signal Analysis

abstract: Recurrent auto-encoder model summarises sequential data through an encoder structure into a fixed-length vector and then reconstructs the original sequence through the decoder structure. The summarised vector can be used to represent time series features. In this paper, we propose relaxing the dimensionality of the decoder output so that it performs partial reconstruction. The fixed-length vector therefore represents features in the selected dimensions only. In addition, we propose using rolling fixed window approach to generate training samples from unbounded time series data. The change of time series features over time can be summarised as a smooth trajectory path. The fixed-length vectors are further analysed using additional visualisation and unsupervised clustering techniques. The proposed method can be applied in large-scale industrial processes for sensors signal analysis purpose, where clusters of the vector representations can reflect the operating states of the industrial system.


title: Geometric Generalization Based Zero-Shot Learning Dataset Infinite World: Simple Yet Powerful

abstract: Raven's Progressive Matrices are one of the widely used tests in evaluating the human test taker's fluid intelligence. Analogously, this paper introduces geometric generalization based zero-shot learning tests to measure the rapid learning ability and the internal consistency of deep generative models. Our empirical research analysis on state-of-the-art generative models discern their ability to generalize concepts across classes. In the process, we introduce Infinite World, an evaluable, scalable, multi-modal, light-weight dataset and Zero-Shot Intelligence Metric ZSI. The proposed tests condenses human-level spatial and numerical reasoning tasks to its simplistic geometric forms. The dataset is scalable to a theoretical limit of infinity, in numerical features of the generated geometric figures, image size and in quantity. We systematically analyze state-of-the-art model's internal consistency, identify their bottlenecks and propose a pro-active optimization method for few-shot and zero-shot learning.


title: Certified dimension reduction in nonlinear Bayesian inverse problems

abstract: We propose a dimension reduction technique for Bayesian inverse problems with nonlinear forward operators, non-Gaussian priors, and non-Gaussian observation noise. The likelihood function is approximated by a ridge function, i.e., a map which depends non-trivially only on a few linear combinations of the parameters. We build this ridge approximation by minimizing an upper bound on the Kullback--Leibler divergence between the posterior distribution and its approximation. This bound, obtained via logarithmic Sobolev inequalities, allows one to certify the error of the posterior approximation. Computing the bound requires computing the second moment matrix of the gradient of the log-likelihood function. In practice, a sample-based approximation of the upper bound is then required. We provide an analysis that enables control of the posterior approximation error due to this sampling. Numerical and theoretical comparisons with existing methods illustrate the benefits of the proposed methodology.


title: DialPlate: Enhancing the Detection of Smooth Pursuits Eye Movements Using Linear Regression

abstract: We introduce and evaluate a novel approach for detecting smooth pursuit eye movements that increases the number of distinguishable targets and is more robust against false positives. Being natural and calibration-free, Pursuits has been gaining popularity in the past years. At the same time, current implementations show poor performance when more than eight on-screen targets are being used, thus limiting its applicability. Our approach (1) leverages the slope of a regression line, and (2) introduces a minimum signal duration that improves both the new and the traditional detection method. After introducing the approach as well as the implementation, we compare it to the traditional correlation-based Pursuits detection method. We tested the approach up to 24 targets and show that, if accepting a similar error rate, nearly twice as many targets can be distinguished compared to state of the art. For fewer targets, accuracy increases significantly. We believe our approach will enable more robust pursuit-based user interfaces, thus making it valuable for both researchers and practitioners.


title: Counting fixed points free vector fields on $\mathbb{B}^{2}$

abstract: The number of diagrams of stationary points free vector fields in the 2-disk $\mathbb{B}^{2}$ is counted in the article. It is shown that the number of such diagrams with $2k$ exceptional points on the boundary $\mathbb{S}^{1}$ equals $3^{k-2}(C_{k}+2C_{k-1})$, where $C_{k}$ is the corresponding Catalan number. An algorithm for finding all such diagrams is discussed.


title: Partial ${\cal N}=2$ Supersymmetry Breaking and Deformed Hypermultiplets

abstract: We study partial supersymmetry breaking from ${\cal N}=2$ to ${\cal N}=1$ by adding non-linear terms to the ${\cal N}=2$ supersymmetry transformations. By exploiting the necessary existence of a deformed supersymmetry algebra for partial breaking to occur, we systematically use ${\cal N}=2$ projective superspace with central charges to provide a streamlined setup. For deformed ${\cal O}(2)$ and ${\cal O}(4)$ hypermultiplets, besides reproducing known results, we describe new models exhibiting partial supersymmetry breaking with and without higher-derivative interactions.


title: Cross density of states and mode connectivity: Probing wave localization in complex media

abstract: We introduce the mode connectivity as a measure of the number of eigenmodes of a wave equation connecting two points at a given frequency. Based on numerical simulations of scattering of electromagnetic waves in disordered media, we show that the connectivity discriminates between the diffusive and the Anderson localized regimes. For practical measurements, the connectivity is encoded in the second-order coherence function characterizing the intensity emitted by two incoherent classical or quantum dipole sources. The analysis applies to all processes in which spatially localized modes build up, and to all kinds of waves.


title: What counts in laboratories: toward a practice-based identity survey

abstract: An essential step in the process of developing a physics identity is the opportunity to engage in authentic physics practices - an ideal place to gain these experiences is physics laboratory courses. We are designing a practice-based identity survey to be used in physics laboratory courses. A first step in determining the impact of these physics practices is understanding student's interpretations of them. In physics education research, discussions of physics practices, are typically grounded in definitions from experts. Our students are not necessarily experts so, asking questions about what these practices mean to the students and what counts is fundamental to insure that our survey questions are being interpreted correctly. This interpretation also varies between levels (advanced lab vs intro) and between courses (transformed vs traditional). Covering the entire space of student interpretations allows us to apply this survey to lab courses across the board.


title: Improved Space-Time Tradeoffs for kSUM

abstract: In the kSUM problem we are given an array of numbers $a_1,a_2,...,a_n$ and we are required to determine if there are $k$ different elements in this array such that their sum is 0. This problem is a parameterized version of the well-studied SUBSET-SUM problem, and a special case is the 3SUM problem that is extensively used for proving conditional hardness. Several works investigated the interplay between time and space in the context of SUBSET-SUM. Recently, improved time-space tradeoffs were proven for kSUM using both randomized and deterministic algorithms. In this paper we obtain an improvement over the best known results for the time-space tradeoff for kSUM. A major ingredient in achieving these results is a general self-reduction from kSUM to mSUM where $m<k$, and several useful observations that enable this reduction and its implications. The main results we prove in this paper include the following: (i) The best known Las Vegas solution to kSUM running in approximately $O(n^{k-\delta\sqrt{2k}})$ time and using $O(n^{\delta})$ space, for $0 \leq \delta \leq 1$. (ii) The best known deterministic solution to kSUM running in approximately $O(n^{k-\delta\sqrt{k}})$ time and using $O(n^{\delta})$ space, for $0 \leq \delta \leq 1$. (iii) A space-time tradeoff for solving kSUM using $O(n^{\delta})$ space, for $\delta>1$. (iv) An algorithm for 6SUM running in $O(n^4)$ time using just $O(n^{2/3})$ space. (v) A solution to 3SUM on random input using $O(n^2)$ time and $O(n^{1/3})$ space, under the assumption of a random read-only access to random bits.


title: Peerus Review: a tool for scientific experts finding

abstract: We propose a tool for experts finding applied to academic data generated by the start-up DSRT in the context of its application Peerus. A user may submit the title, the abstract and optionnally the authors and the journal of publication of a scientific article and the application then returns a list of experts, potential reviewers of the submitted article. The retrieval algorithm is a voting system based on a language modeling technique trained on several millions of scientific papers.


title: sAVSS: Scalable Asynchronous Verifiable Secret Sharing in BFT Protocols

abstract: This paper introduces a new way to incorporate verifiable secret sharing (VSS) schemes into Byzantine Fault Tolerance (BFT) protocols. This technique extends the threshold guarantee of classical Byzantine Fault Tolerant algorithms to include privacy as well. This provides applications with a powerful primitive: a threshold trusted third party, which simplifies many difficult problems such as a fair exchange. In order to incorporate VSS into BFT, we introduced sAVSS, a framework that transforms any VSS scheme into an asynchronous VSS scheme with constant overhead. By incorporating Kate et al.'s scheme into our framework, we obtain an asynchronous VSS that has constant overhead on each replica -- the first of its kind. We show that a key-value store built using BFT replication and sAVSS supports writing secret-shared values with about a 30% - 50% throughput overhead with less than 35 millisecond request latencies.


title: On the complexity of the (approximate) nearest colored node problem

abstract: Given a graph $G=(V,E)$ where each vertex is assigned a color from the set $C=\{c_1, c_2, .., c_\sigma\}$. In the (approximate) nearest colored node problem, we want to query, given $v \in V$ and $c \in C$, for the (approximate) distance $\widehat{\mathbf{dist}}(v, c)$ from $v$ to the nearest node of color $c$. For any integer $1 \leq k \leq \log n$, we present a Color Distance Oracle (also often referred to as Vertex-label Distance Oracle) of stretch $4k-5$ using space $O(kn\sigma^{1/k})$ and query time $O(\log{k})$. This improves the query time from $O(k)$ to $O(\log{k})$ over the best known Color Distance Oracle by Chechik \cite{DBLP:journals/corr/abs-1109-3114}. We then prove a lower bound in the cell probe model showing that our query time is optimal in regard to space up to constant factors. We also investigate dynamic settings of the problem and find new upper and lower bounds.


title: Detection of Bursts from FRB 121102 with the Effelsberg 100-m Radio Telescope at 5 GHz and the Role of Scintillation

abstract: FRB 121102, the only repeating fast radio burst (FRB) known to date, was discovered at 1.4 GHz and shortly after the discovery of its repeating nature, detected up to 2.4 GHz. Here we present three bursts detected with the 100-m Effelsberg radio telescope at 4.85 GHz. All three bursts exhibited frequency structure on broad and narrow frequency scales. Using an autocorrelation function analysis, we measured a characteristic bandwidth of the small-scale structure of 6.4$\pm$1.6 MHz, which is consistent with the diffractive scintillation bandwidth for this line of sight through the Galactic interstellar medium (ISM) predicted by the NE2001 model. These were the only detections in a campaign totaling 22 hours in 10 observing epochs spanning five months. The observed burst detection rate within this observation was inconsistent with a Poisson process with a constant average occurrence rate; three bursts arrived in the final 0.3 hr of a 2 hr observation on 2016 August 20. We therefore observed a change in the rate of detectable bursts during this observation, and we argue that boosting by diffractive interstellar scintillations may have played a role in the detectability. Understanding whether changes in the detection rate of bursts from FRB 121102 observed at other radio frequencies and epochs are also a product of propagation effects, such as scintillation boosting by the Galactic ISM or plasma lensing in the host galaxy, or an intrinsic property of the burst emission will require further observations.


title: Understanding VAEs in Fisher-Shannon Plane

abstract: In information theory, Fisher information and Shannon information (entropy) are respectively used to quantify the uncertainty associated with the distribution modeling and the uncertainty in specifying the outcome of given variables. These two quantities are complementary and are jointly applied to information behavior analysis in most cases. The uncertainty property in information asserts a fundamental trade-off between Fisher information and Shannon information, which enlightens us the relationship between the encoder and the decoder in variational auto-encoders (VAEs). In this paper, we investigate VAEs in the Fisher-Shannon plane and demonstrate that the representation learning and the log-likelihood estimation are intrinsically related to these two information quantities. Through extensive qualitative and quantitative experiments, we provide with a better comprehension of VAEs in tasks such as high-resolution reconstruction, and representation learning in the perspective of Fisher information and Shannon information. We further propose a variant of VAEs, termed as Fisher auto-encoder (FAE), for practical needs to balance Fisher information and Shannon information. Our experimental results have demonstrated its promise in improving the reconstruction accuracy and avoiding the non-informative latent code as occurred in previous works.


title: The quasi-linear nearby Universe

abstract: The local Universe provides a unique opportunity for testing cosmology and theories of structure formation. To facilitate this opportunity we present a new method for the reconstruction of the quasi-linear matter density and velocity fields from galaxy peculiar velocities and apply it to the Cosmicflows-2 data. The method consists of constructing an ensemble of cosmological simulations, constrained by the standard cosmological model and the observational data. The quasi-linear density field is the geometric mean and variance of the fully non-linear density fields of the simulations. The main nearby clusters (Virgo, Centaurus, Coma), superclusters (Shapley, Perseus-Pisces) and voids (Dipole Repeller) are robustly reconstructed. Galaxies are born biased with respect to the underlying dark matter distribution. Using our quasi-linear framework we demonstrate that the luminosity-weighted density field derived from the 2M++ redshift compilations is non-linearly biased with respect to the matter density field. The bias diminishes in the linear regime.


title: X-ray photodesorption from water ice in protoplanetary disks and X-ray dominated regions

abstract: Water is the main constituent of interstellar ices, and it plays a key role in the evolution of many regions of the interstellar medium, from molecular clouds to planet-forming disks. In cold regions of the ISM, water is expected to be completely frozen out onto the dust grains. Nonetheless, observations indicate the presence of cold water vapor, implying that non-thermal desorption mechanisms are at play. Photodesorption by UV photons has been proposed to explain these observations, with the support of extensive experimental and theoretical work on ice analogues. In contrast, photodesorption by X-rays, another viable mechanism, has been little studied. The potential of this process to desorb key molecules, such as water, intact rather than fragmented or ionised, remains unexplored. We experimentally investigated X-ray photodesorption from water ice, monitoring all desorbing species. We find that desorption of neutral water is efficient, while ion desorption is minor. We derive for the first time yields that can be implemented in astrochemical models. These results open up the possibility of taking into account the X-ray photodesorption process in the modelling of protoplanetary disks or X-ray dominated regions.


title: Unit distance graphs and algebraic integers

abstract: We answer a question of Brass about vertex degrees in unit distance graphs of finitely generated additive subgroups of $\mathbb{R}^2$.


title: Geometric realization of the almost-extreme Khovanov homology of semiadequate links

abstract: We introduce the notion of partial presimplicial set and construct its geometric realization. We show that any semiadequate diagram yields a partial presimplicial set leading to a geometric realization of the almost-extreme Khovanov homology of the diagram. We give a concrete formula for the homotopy type of this geometric realization, involving wedge of spheres and a suspension of the projective plane.


title: A second-order asymptotic-preserving and positivity-preserving exponential Runge-Kutta method for a class of stiff kinetic equations

abstract: We introduce a second-order time discretization method for stiff kinetic equations. The method is asymptotic-preserving (AP) -- can capture the Euler limit without numerically resolving the small Knudsen number; and positivity-preserving -- can preserve the non-negativity of the solution which is a probability density function for arbitrary Knudsen numbers. The method is based on a new formulation of the exponential Runge-Kutta method and can be applied to a large class of stiff kinetic equations including the BGK equation (relaxation type), the Fokker-Planck equation (diffusion type), and even the full Boltzmann equation (nonlinear integral type). Furthermore, we show that when coupled with suitable spatial discretizations the fully discrete scheme satisfies an entropy-decay property. Various numerical results are provided to demonstrate the theoretical properties of the method.


title: Optimal mode configuration for multiple phase-matched four-wave mixing processes

abstract: We demonstrate an unseeded, multimode four-wave mixing process in hot $^{85}$Rb vapor, using two pump beams of the same frequency that cross at a small angle. This results in the simultaneous fulfillment of multiple phase-matching conditions that reinforce one another to produce four intensity-stabilized bright output modes at two different frequencies. Each generated photon is directly correlated to exactly two others, resulting in the preferred four-mode output, in contrast to other multimode four-wave mixing experiments. This provides significant insight into the optimal configuration of the output multimode squeezed and entangled states generated in such four-wave mixing systems. We examine the power, temperature and frequency dependence of this new output and compare to the conical four-wave mixing emission from a single pump beam. The generated beams are spatially separated, allowing a natural distribution for potential use in quantum communication and secret-sharing protocols.


title: Reaching supercritical field strengths with intense lasers

abstract: It is conjectured that all perturbative approaches to quantum electrodynamics (QED) break down in the collision of a high-energy electron beam with an intense laser, when the laser fields are boosted to `supercritical' strengths far greater than the critical field of QED. As field strengths increase toward this regime, cascades of photon emission and electron-positron pair creation are expected, as well as the onset of substantial radiative corrections. Here we identify the important role played by the collision angle in mitigating energy losses to photon emission that would otherwise prevent the electrons reaching the supercritical regime. We show that a collision between an electron beam with energy in the tens of GeV and a laser pulse of intensity $10^{24}~\text{W}\text{cm}^{-2}$ at oblique, or even normal, incidence is a viable platform for studying the breakdown of perturbative strong-field QED. Our results have implications for the design of near-term experiments as they predict that certain quantum effects are enhanced at oblique incidence.


title: Medical Technologies and Challenges of Robot Assisted Minimally Invasive Intervention and Diagnostics

abstract: Emerging paradigms furthering the reach of medical technology deeper into human anatomy present unique modeling, control and sensing problems. This paper discusses a brief history of medical robotics leading to the current trend of minimally invasive intervention and diagnostics in confined spaces. Robotics for natural orifice and single port access surgery, capsule and magnetically actuated robotics and microrobotics are discussed with the aim of elucidating the state of the art. Works on modeling, sensing and control of mechanical architectures of robots for natural orifice and single port access surgery are discussed, followed by a presentation of works on magnetic actuation, sensing and localization for capsule robotics and microrobotics. Finally challenges and open problems in each one of these areas are presented.


title: Proceedings of the 7th Workshop on Mathematically Structured Functional Programming

abstract: The seventh workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without arrows? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The seventh workshop on Mathematically Structured Functional Programming was held on 8th July 2018 affiliated with FSCD 2018 as part of FLoC 2018 in Oxford, UK. There were two invited talks. In addition four full papers and two extended abstracts were selected by the programme committee for presentation.


title: Network Classification in Temporal Networks Using Motifs

abstract: Network classification has a variety of applications, such as detecting communities within networks and finding similarities between those representing different aspects of the real world. However, most existing work in this area focus on examining static undirected networks without considering directed edges or temporality. In this paper, we propose a new methodology that utilizes feature representation for network classification based on the temporal motif distribution of the network and a null model for comparing against random graphs. Experimental results show that our method improves accuracy by up $10\%$ compared to the state-of-the-art embedding method in network classification, for tasks such as classifying network type, identifying communities in email exchange network, and identifying users given their app-switching behaviors.


title: The R-Process Alliance: Chemical Abundances for a Trio of R-Process-Enhanced Stars -- One Strong, One Moderate, One Mild

abstract: We present detailed chemical abundances of three new bright (V ~ 11), extremely metal-poor ([Fe/H] ~ -3.0), r-process-enhanced halo red giants based on high-resolution, high-S/N Magellan/MIKE spectra. We measured abundances for 20-25 neutron-capture elements in each of our stars. J1432-4125 is among the most r-process rich r-II stars, with [Eu/Fe]= +1.44+-0.11. J2005-3057 is an r-I star with [Eu/Fe] = +0.94+-0.07. J0858-0809 has [Eu/Fe] = +0.23+-0.05 and exhibits a carbon abundance corrected for evolutionary status of [C/Fe]_corr = +0.76, thus adding to the small number of known carbon-enhanced r-process stars. All three stars show remarkable agreement with the scaled solar r-process pattern for elements above Ba, consistent with enrichment of the birth gas cloud by a neutron star merger. The abundances for Sr, Y, and Zr, however, deviate from the scaled solar pattern. This indicates that more than one distinct r-process site might be responsible for the observed neutron-capture element abundance pattern. Thorium was detected in J1432-4125 and J2005-3057. Age estimates for J1432-4125 and J2005-3057 were adopted from one of two sets of initial production ratios each by assuming the stars are old. This yielded individual ages of 12+-6 Gyr and 10+-6 Gyr, respectively.


title: Role of a four-quark and a glueball state in pion-pion and pion-nucleon scattering

abstract: We consider the two-flavor version of the extended linear sigma model (eLSM), which contains (pseudo)scalar and (axial-)vector quark-antiquark mesons, a scalar glueball (predominantly corresponding to $f_{0}(1710)$), as well as the nucleon and its chiral partner. We extend this model by the additional light scalar meson $f_{0}(500)$, predominantly a putative four-quark state. We investigate various interaction terms of the four-quark and glueball states with the other particles, some of which preserve and some of which explicitly break the $U(1)_{\textrm{A}}$ symmetry. We test our model by performing a global fit to masses and decay widths of the scalar resonances and pion-pion scattering lengths. We also discuss the influence of the scalar four-quark state and the glueball on the baryon sector by evaluating pion-nucleon scattering parameters. We find that the inclusion of $f_{0}(500)$ improves the description of pion-pion and pion-nucleon scattering lengths.


title: Commutative cocycles and stable bundles over surfaces

abstract: Commutative K-theory, a cohomology theory built from spaces of commuting matrices, has been explored in recent work of Adem, G\'{o}mez, Gritschacher, Lind, and Tillman. In this article, we use unstable methods to construct explicit representatives for the real commutative K-theory classes on surfaces. These classes arise from commutative O(2)-valued cocycles, and are analyzed via the point-wise inversion operation on commutative cocycles.


title: The Large-scale ISM of SS433/W50 Revisited

abstract: With new high-resolution CO and HI data, we revisited the large-scale interstellar medium (ISM) environment toward the SS 433/W50 system. We find that two interesting molecular cloud (MC) concentrations, G39.315-1.155 and G40.331-4.302, are well aligned along the precession cone of SS 433 within a smaller opening angle of ~7deg. The kinematic features of the two MCs at ~73--84 km/s, as well as those of the corresponding atomic-gas counterparts, are consistent with the kinematic characteristics of SS 433. That is, the receding gas from SS 433 jet is probably responsible for the redshifted feature of G39.315-1.155 near the Galactic plane and the approaching one may power the blueshifted gas of G40.331-4.302 toward the observer. Moreover, the HI emission at VLSR~70--90 km/s displays the morphological resemblance with the radio nebula W50. We suggest that the VLSR=77\pm5 km/s gas is physically associated with SS 433/W50, leading to a near kinematic distance of 4.9\pm0.4 kpc for the system. The observed gas features, which are located outside the current radio boundaries of W50, are probably the fossil record of jet-ISM interactions at ~10^5 years ago. The energetic jets of the unique microquasar have profound effects on its ISM environment, which may facilitate the formation of molecular gas on the timescale of <0.1 Myr for the ram pressure of ~2x10^6 K cm-3.


title: The Omega spectrum for Pengelley's BoP

abstract: We compute the homology of the spaces in the Omega spectrum for $BoP$. There is no torsion in $H_*(\underline{BoP}_{\; i})$ for $i \ge 2$, and things are only slightly more complicated for $i < 2$. We find the complete homotopy type of $\underline{BoP}_{\; i}$ for $i \le 6$ and conjecture the homotopy type for $i > 6$. This completes the computation of all $H_*(\underline{MSU}_{\;*})$.


title: Constructing Concrete Hard Instances of the Maximum Independent Set Problem

abstract: We provide a deterministic construction of hard instances for the maximum independent set problem (MIS). The constructed hard instances form an infinite graph sequence with increasing size, which possesses similar characteristics to sparse random graphs and in which MIS cannot be solved efficiently. We analytically and numerically show that all algorithms employing cycle-chain refutation, which is a general refutation method we introduce for capturing the ability of many known algorithms, cannot upper bound the size of the maximum independent set tightly.

categories: cs.DS cond-mat.dis-nn cond-mat.stat-mech cs.CC


title: Molecular search with conformational change: One-dimensional discrete-state stochastic model

abstract: Molecular search phenomena are observed in a variety of chemical and biological systems. During the search the participating particles frequently move in complex inhomogeneous environments with random transitions between different dynamic modes. To understand the mechanisms of molecular search with alternating dynamics, we investigate the search dynamics with stochastic transitions between two conformations in a one-dimensional discrete-state stochastic model. It is explicitly analyzed using the first-passage time probabilities method to obtain a full dynamic description of the search process. A general dynamic phase diagram is developed. It is found that there are several dynamic regimes in the molecular search with conformational transitions, and they are determined by the relative values of the relevant length scales in the system. Theoretical predictions are fully supported by Monte Carlo computer simulations.


title: Mapping the 13CO/C18O abundance ratio in the massive star forming region G29.96-0.02

abstract: Estimating molecular abundances ratios from the direct measurement of the emission of the molecules towards a variety of interstellar environments is indeed very useful to advance in our understanding of the chemical evolution of the Galaxy, and hence of the physical processes related to the chemistry. It is necessary to increase the sample of molecular clouds, located at different distances, in which the behavior of molecular abundance ratios, such as the 13CO/C18O ratio (X), is studied in detail. We selected the well-studied high-mass star-forming region G29.96-0.02, located at a distance of about 6.2 kpc, which is an ideal laboratory to perform this kind of studies. To study the X towards this region it was used 12CO J=3-2 data obtained from COHRS, 13CO and C18O J=3-2 data from CHIMPS, and 13CO and C18O J=2-1 data retrieved from the CDS database (observed with the IRAM 30m telescope). The distribution of column densities and X throughout the molecular cloud was studied based on LTE and non-LTE methods. Values of X between 1.5 to 10.5, with an average of 5, were found, showing that, besides the dependency between X and the galactocentric distance, the local physical conditions may strongly affect this abundance ratio. We found that correlating the X map with the location of the ionized gas and dark clouds allows us to suggest in which regions the far-UV radiation stalls in dense gaseous components, and in which ones it escapes and selectively photodissociates the C18O isotope. The non-LTE analysis shows that the molecular gas has very different physical conditions, not only spatially across the cloud, but also along the line of sight. This kind of studies may represent a tool to indirectly estimate (from molecular lines observations) the degree of photodissociation in molecular clouds, which is indeed useful to study the chemistry in the interstellar medium.


title: The explicit geometric constructions of bordism of Milnor hypersurface $H_{1,n}$ and $\mathbb{C} P^1\times \mathbb{C} P^{n-1}$

abstract: In the present paper we construct two new explicit complex bordisms between any two projective bundles over $\mathbb{C} P^1$ of the same complex dimension, including the Milnor hypersurface $H_{1,n}$ and $\mathbb{C} P^1\times \mathbb{C} P^{n-1}$. These constructions reduce the bordism problem to the null-bordism of some projective bundle over $\mathbb{C} P^1$ with the non-standard stably complex structure.


title: Algebraic Voting Theory & Representations of $S_m \wr S_n$

abstract: We consider the problem of selecting an $n$-member committee made up of one of $m$ candidates from each of $n$ distinct departments. Using an algebraic approach, we analyze positional voting procedures, including the Borda count, as $\mathbb{Q}S_m \wr S_n$-module homomorphisms. In particular, we decompose the spaces of voter preferences and election results into simple $\mathbb{Q}S_m \wr S_n$-submodules and apply Schur's Lemma to determine the structure of the information lost in the voting process. We conclude with a voting paradox result, showing that for sufficiently different weighting vectors, applying the associated positional voting procedures to the same set of votes can yield arbitrarily different election outcomes.


title: Enhanced Diffusivity in Perturbed Senile Reinforced Random Walk Models

abstract: We consider diffusivity of random walks with transition probabilities depending on the number of consecutive traversals of the last traversed edge, the so called senile reinforced random walk (SeRW). In one dimension, the walk is known to be sub-diffusive with identity reinforcement function. We perturb the model by introducing a small probability $\delta$ of escaping the last traversed edge at each step. The perturbed SeRW model is diffusive for any $\delta >0 $, with enhanced diffusivity ($\gg O(\delta^2)$) in the small $\delta$ regime. We further study stochastically perturbed SeRW models by having the last edge escape probability of the form $\delta\, \xi_n$ with $\xi_n$'s being independent random variables. Enhanced diffusivity in such models are logarithmically close to the so called residual diffusivity (positive in the zero $\delta$ limit), with diffusivity between $O\left(\frac{1}{|\log\delta |}\right)$ and $O\left(\frac{1}{\log|\log\delta|}\right)$. Finally, we generalize our results to higher dimensions where the unperturbed model is already diffusive. The enhanced diffusivity can be as much as $O(\log^{-2}\delta)$.


title: On the Performance of NOMA with Hybrid ARQ

abstract: In this paper, we investigate the outage performance of hybrid automatic repeat request with chase combining (HARQ-CC) assisted downlink non-orthogonal multiple access (NOMA) systems. A closed-form expression of the individual outage probability and the diversity gain are obtained firstly. Based on the developed analytical outage probability, a tradeoff between the minimum number of retransmissions and the transmit power allocation coefficient is then provided for a given target rate. The provided simulation results demonstrate the accuracy of the developed analytical results. Moreover, it is shown that NOMA combined with the HARQ-CC can achieve a significant advantage when only average channel state information is known at the transmitter. Particularly, the performance of the user with less transmit power in NOMA systems can be efficiently improved by utilizing HARQ-CC.


title: Scalable Sparse Subspace Clustering via Ordered Weighted $\ell_1$ Regression

abstract: The main contribution of the paper is a new approach to subspace clustering that is significantly more computationally efficient and scalable than existing state-of-the-art methods. The central idea is to modify the regression technique in sparse subspace clustering (SSC) by replacing the $\ell_1$ minimization with a generalization called Ordered Weighted $\ell_1$ (OWL) minimization which performs simultaneous regression and clustering of correlated variables. Using random geometric graph theory, we prove that OWL regression selects more points within each subspace, resulting in better clustering results. This allows for accurate subspace clustering based on regression solutions for only a small subset of the total dataset, significantly reducing the computational complexity compared to SSC. In experiments, we find that our OWL approach can achieve a speedup of 20$\times$ to 30$\times$ for synthetic problems and 4$\times$ to 8$\times$ on real data problems.


title: DEIMOS Observations of WISE-Selected, Optically Obscured AGNs

abstract: While there are numerous criteria for photometrically identifying active galactic nuclei (AGNs), searches in the optical and UV tend to exclude galaxies that are highly dust obscured. This is problematic for constraining models of AGN evolution and estimating the AGN contribution to the cosmic X-ray and IR backgrounds, as highly obscured objects tend to be underrepresented in large-scale surveys. To address this, we identify potentially obscured AGNs using mid-IR color colors from the Wide-field Infrared Survey Explorer (WISE) catalog. This paper presents the results of optical spectroscopy of obscured AGN candidates using Keck DEIMOS, and their physical properties derived from these spectra. We find that a $W1-W2>0.8$ color criterion effectively selects AGNs with a higher median level of $E(B-V)$ extinction compared to the AGNs found in the SDSS DR7 survey. This optical extinction can be measured using SED modeling or by using $r-W1$ as a measure of optical to IR flux. We find that specific, targeted observations are necessary to find the most highly optically obscured AGNs, and that additional far-IR photometry is necessary to further constrain the dust properties of these AGNs.


title: Representation Learning with Contrastive Predictive Coding

abstract: While supervised learning has enabled great progress in many applications, unsupervised learning has not seen such widespread adoption, and remains an important and challenging endeavor for artificial intelligence. In this work, we propose a universal unsupervised learning approach to extract useful representations from high-dimensional data, which we call Contrastive Predictive Coding. The key insight of our model is to learn such representations by predicting the future in latent space by using powerful autoregressive models. We use a probabilistic contrastive loss which induces the latent space to capture information that is maximally useful to predict future samples. It also makes the model tractable by using negative sampling. While most prior work has focused on evaluating representations for a particular modality, we demonstrate that our approach is able to learn useful representations achieving strong performance on four distinct domains: speech, images, text and reinforcement learning in 3D environments.


title: Large Scale Parallelization in Stochastic Coupled Cluster

abstract: Coupled cluster theory is a vital cornerstone of electronic structure theory and is being applied to ever-larger systems. Stochastic approaches to quantum chemistry have grown in importance and offer compelling advantages over traditional deterministic algorithms in terms of computational demands, theoretical flexibility or lower scaling with system size. We present a highly parallelizable algorithm of the coupled cluster Monte Carlo method involving sampling of clusters of excitors over multiple time steps. The behaviour of the algorithm is investigated on the uniform electron gas and the water dimer at CCSD, CCSDT and CCSDTQ levels. We also describe two improvements to the original sampling algorithm, full non-composite and multi-spawn sampling. A stochastic approach to coupled cluster results in an efficient and scalable implementation at arbitrary truncation levels in the coupled cluster expansion.


title: Navigating Diverse Data Science Learning: Critical Reflections Towards Future Practice

abstract: Data Science is currently a popular field of science attracting expertise from very diverse backgrounds. Current learning practices need to acknowledge this and adapt to it. This paper summarises some experiences relating to such learning approaches from teaching a postgraduate Data Science module, and draws some learned lessons that are of relevance to others teaching Data Science.


title: Effects of passive phospholipid flip-flop and asymmetric external fields on bilayer phase equilibria

abstract: Compositional asymmetry between the leaflets of bilayer membranes modifies their phase behaviour, and is thought to influence other important features such as mechanical properties and protein activity. We address here how phase behaviour is affected by passive phospholipid \textit{flip-flop}, such that the compositional asymmetry is not fixed. We predict transitions from "pre flip-flop" behaviour to a restricted set of phase equilibria that can persist in the presence of passive flip-flop. Surprisingly, such states are not necessarily symmetric. We further account for external symmetry-breaking, such as a preferential substrate interaction, and show how this can stabilise strongly asymmetric equilibrium states. Our theory explains several experimental observations of flip-flop mediated changes in phase behaviour, and shows how domain formation and compositional asymmetry can be controlled in concert, by manipulating passive flip-flop rates and applying external fields.


title: Single-beam reflection technique for determination of nonlinear-refractive index of thin-film semiconductors using an electrically focus tunable lens

abstract: In this paper, we propose a technique named reflection F-scan or RF-scan, that can be used to measure the nonlinear-refractive index n_2 of thin-film semiconductors. In this technique, a p-polarized Gaussian beam is focused using an electrically focus-tunable lens onto a sample, which is positioned at a fixed distance from the lens and makes an angle with respect to the optical axis. Due to EFTL has the capability to vary its focal distance over a specific range when an electric current is applied to it. The electrically focus-tunable lens varies its focal distance as a function of an applied electric current over a specific range thus, when light is focused on the surface of the sample the beam intensity is high enough to generate nonlinear optical effects such as changes in the refractive index of the material. This changes are then register as variations in reflectance, measured by an intensity detector. Results for three-dimensional CH3NH3PbBr3 hybrid perovskite thin films are presented.


title: Schwinger Effect in Inflaton-Driven Electric Field

abstract: In a four dimensional inflation theory, a persistent electric field can be established by making the inflaton coupled to the gauge field like a dilaton. We investigate the pair production of scalar particles in the inflaton-driven electric field. In particular, we evaluate the induced current due to the pair production. The presence of the dilatonic coupling ensures the validity of the WKB approximation at the past and the future infinities, without tuning constant parameters. Thus, the semiclassical description is applicable in evaluating the induced current. Solving the field equations with the induced current, we evaluate the first-order backreaction to the electric field. It turns out that the electric field decreases with the cosmic expansion. The result indicates that the no-anisotropic hair theorem for inflation holds true regardless of whether the dilatonic coupling is present or not.


title: A tangle of stellar streams in the north Galactic cap

abstract: Stellar halo substructures were identified using statistical photometric parallax of blue main sequence turnoff stars from fourteen Sloan Digital Sky Survey stripes in the north Galactic cap. Four structures are consistent with previous measurements of the Sagittarius dwarf tidal stream: the leading tail, the "bifurcated" stream, the trailing tail, and Stream C. The stellar overdensity in Virgo, about 15 kpc from the Sun, could arise from the crossing of the Parallel Stream and a new, candidate stream dubbed the Perpendicular Stream. The data suggests the presence of a wide stream near NGC 5466, with a distance of 5 to 15 kpc. Measurements of the flattening of the smooth stellar halo from the fourteen stripes average q=0.58, with a dispersion of 0.04.


title: Dynamic Allocation of Serverless Functions in IoT Environments

abstract: The IoT area has grown significantly in the last few years and is expected to reach a gigantic amount of 50 billion devices by 2020. The appearance of serverless architectures, specifically highlighting FaaS, raises the question of the of using such in IoT environments. Combining IoT with a serverless architectural design can be effective when trying to make use of the local processing power that exists in a local network of IoT devices and creating a fog layer that leverages computational capabilities that are closer to the end-user. In this approach, which is placed between the device and the serverless function, when a device requests for the execution of a serverless function will decide based on previous metrics of execution if the serverless function should be executed locally, in the fog layer of a local network of IoT devices, or if it should be executed remotely, in one of the available cloud servers. Therefore, this approach allows to dynamically allocating functions to the most suitable layer.


title: Latent Alignment and Variational Attention

abstract: Neural attention has become central to many state-of-the-art models in natural language processing and related domains. Attention networks are an easy-to-train and effective method for softly simulating alignment; however, the approach does not marginalize over latent alignments in a probabilistic sense. This property makes it difficult to compare attention to other alignment approaches, to compose it with probabilistic models, and to perform posterior inference conditioned on observed data. A related latent approach, hard attention, fixes these issues, but is generally harder to train and less accurate. This work considers variational attention networks, alternatives to soft and hard attention for learning latent variable alignment models, with tighter approximation bounds based on amortized variational inference. We further propose methods for reducing the variance of gradients to make these approaches computationally feasible. Experiments show that for machine translation and visual question answering, inefficient exact latent variable models outperform standard neural attention, but these gains go away when using hard attention based training. On the other hand, variational attention retains most of the performance gain but with training speed comparable to neural attention.


title: Speculative Buffer Overflows: Attacks and Defenses

abstract: Practical attacks that exploit speculative execution can leak confidential information via microarchitectural side channels. The recently-demonstrated Spectre attacks leverage speculative loads which circumvent access checks to read memory-resident secrets, transmitting them to an attacker using cache timing or other covert communication channels. We introduce Spectre1.1, a new Spectre-v1 variant that leverages speculative stores to create speculative buffer overflows. Much like classic buffer overflows, speculative out-of-bounds stores can modify data and code pointers. Data-value attacks can bypass some Spectre-v1 mitigations, either directly or by redirecting control flow. Control-flow attacks enable arbitrary speculative code execution, which can bypass fence instructions and all other software mitigations for previous speculative-execution attacks. It is easy to construct return-oriented-programming (ROP) gadgets that can be used to build alternative attack payloads. We also present Spectre1.2: on CPUs that do not enforce read/write protections, speculative stores can overwrite read-only data and code pointers to breach sandboxes. We highlight new risks posed by these vulnerabilities, discuss possible software mitigations, and sketch microarchitectural mechanisms that could serve as hardware defenses. We have not yet evaluated the performance impact of our proposed software and hardware mitigations. We describe the salient vulnerability features and additional hypothetical attack scenarios only to the detail necessary to guide hardware and software vendors in threat analysis and mitigations. We advise users to refer to more user-friendly vendor recommendations for mitigations against speculative buffer overflows or available patches.


title: Weaker Assumptions for the Short Path Optimization Algorithm

abstract: The short path algorithm gives a super-Grover speedup for various optimization problems under the assumption of a unique ground state and under an assumption on the density of low-energy states. Here, we remove the assumption of a unique ground state; this uses the same algorithm but a slightly different analysis and holds for arbitrary MAX-$D$-LIN-$2$ problems. Then, specializing to the case $D=2$, we show that for certain values of the objective function we can always achieve a super-Grover speedup (albeit a very slight one) without any assumptions on the density of states. Finally, for random instances, we give a heuristic treatment suggesting a more significant improvement.


title: High intensity cyclotrons for neutrino physics

abstract: In recent years, the interest in high intensity proton beams in excess of several milli-Amperes has risen. Potential applications are in neutrino physics, materials and energy research, and isotope production. Continuous wave proton beams of five to ten milli-Amperes are now in reach due to advances in accelerator technology and through improved understanding of the beam dynamics. As an example application, we present the proposed IsoDAR experiment, a search for so-called sterile neutrinos and non-standard interaction using the KamLAND detector located in Japan. We present updated sensitivities for this experiment and describe in detail the design of the high intensity proton driver that uses several novel ideas. These are: accelerating H2+ instead of protons, directly injecting beam into the cyclotron via a Radio Frequency Quadrupole (RFQ), and carefully matching the beam to achieve so-called vortex motion. The preliminary design holds up well in PIC simulation studies and the injector system is now being constructed, to be commissioned with a 1 MeV test cyclotron.


title: SimArch: A Multi-agent System For Human Path Simulation In Architecture Design

abstract: Human moving path is an important feature in architecture design. By studying the path, architects know where to arrange the basic elements (e.g. structures, glasses, furniture, etc.) in the space. This paper presents SimArch, a multi-agent system for human moving path simulation. It involves a behavior model built by using a Markov Decision Process. The model simulates human mental states, target range detection, and collision prediction when agents are on the floor, in a particular small gallery, looking at an exhibit, or leaving the floor. It also models different kinds of human characteristics by assigning different transition probabilities. A modified weighted A* search algorithm quickly plans the sub-optimal path of the agents. In an experiment, SimArch takes a series of preprocessed floorplans as inputs, simulates the moving path, and outputs a density map for evaluation. The density map provides the prediction that how likely a person will occur in a location. A following discussion illustrates how architects can use the density map to improve their floorplan design.


title: The second moment of the number of integral points on elliptic curves is bounded

abstract: Let $K$ be a number field and $S$ a finite set of places of $K$ containing all archimedean places. In this paper, we show that the second moment of the number of $S$-integral points on elliptic curves over $K$ is bounded. In particular, we prove that, for any positive real number $r\leq \log_2 5 = 2.3219 \ldots$, the $r$-th moment of the number of $S$-integral points is bounded for the family of all integral short Weierstrass curves ordered by height, or for any positive density subfamily thereof. For certain other families of elliptic curves over $\mathbb{Q}$, such as those with one or two marked points, we prove that the average of the number of integral points is bounded; in fact, for the family with one marked point, the $r$-th moment is also bounded for all positive $r\leq \log_2 3$. The essential new ingredient in our proof is an upper bound on the number of $S$-integral points on an affine integral Weierstrass model $\mathcal{E}$ of an elliptic curve $E$ over $K$ depending on the rank of the curve, the class group and degree of $K$, and the number of primes of $K$ whose square divides the discriminant of $\mathcal{E}$. For example, over $\mathbb{Q}$, the bound for integral points on $\mathcal{E}$ is $2^{\mathrm{rank}{E(\mathbb{Q})}} O(1)^s$, where $s$ is the number of prime squares dividing the discriminant of $\mathcal{E}$. The theorems on moments then follow from averaging this new upper bound; crucially, we can bound the average of the $2^{\mathrm{rank}}$ term by using results on the average sizes of Selmer groups in the families. In order to prove the bounds for the $r$-th moment when $r= \log_2 5$ (and the analogous equality cases for the other families), we introduce a method to count orbits of coregular representations with possibly unbounded weights.


title: A Bayesian analysis of sneutrino DM in the NMSSM with Type-I seesaw mechanism

abstract: In the Next-to-Minimal Supersymmetric Standard Model (NMSSM) with extra heavy neutrino superfields, neutrino may acquire its mass via a seesaw mechanism and sneutrino may act as a viable dark matter (DM) candidate. Given the strong tension between the naturalness for $Z$ boson mass and the DM direct detection experiments for customary neutralino DM candidate, we augment the NMSSM with Type-I seesaw mechanism, which is the simplest extension of the theory to predict neutrino mass, and study the scenarios of sneutrino DM. We construct likelihood function with LHC Higgs data, B-physics measurements, DM relic density and its direct and indirect search limits, and perform a comprehensive scan over the parameter space of the theory by Nested Sampling method. We adopt both Bayesian and frequentist statistical quantities to illustrate the favored parameter space of the scenarios, the DM annihilation mechanism as well as the features of DM-nucleon scattering. We find that the scenarios are viable over broad parameter regions, especially the Higgsino mass $\mu$ can be below about $250 {\rm GeV}$ for a significant part of the region, which predicts $Z$ boson mass in a natural way. We also find that the DM usually co-annihilated with the Higgsinos to get the measured relic density, and consequently the DM-nucleon scattering rate is naturally suppressed to coincide with the recent XENON-1T results even for light Higgsinos. Other issues, such as the LHC search for the Higgsinos, are also addressed.


title: Suburban Fixed Wireless Access Channel Measurements and Models at 28 GHz for 90% Outdoor Coverage

abstract: Achieving adequate coverage with high gain antennas is key to realizing the full promise of the wide bandwidth available at cm/mm bands. We report extensive outdoor measurements at 28 GHz in suburban residential areas in New Jersey and Chile, with over 2000 links measured for same-street link types (vegetation blocked LOS) from 13 streets and other-street link types (true NLOS) from 7 streets, using a specialized narrowband channel sounder at ranges reaching 200 m. The measurements, applicable to fixed wireless access, involved a 55$^\circ$ transmit antenna placed on the exterior of a street-facing window and a 10$^\circ$ receive horn antenna spinning on top of a van mast at 3 m height, emulating a lamppost-mounted base station. Measured path gain-distance dependence is well represented by power-law models, and azimuth gains at the base are degraded through scattering by more than 4.3 dB for 10% of links. It was found that, with 51 dBm EIRP at the base station and 11 dBi antenna at an outdoor mounted terminal, 1 Gbps downlink rate can be delivered up to 100 m from a base station deployed in the same street with 90% coverage guarantee.


title: Tower Diagrams and Pieri's Rule

abstract: We introduce an algorithm to describe Pieri's Rule for multiplication of Schubert polynomials. The algorithm uses tower diagrams introduced by the authors and another new algorithm that describes Monk's Rule. Our result is different from the well-known descriptions (and proofs) of the rule by Bergeron-Billey and Kogan-Kumar and uses Sottile's version of Pieri's Rule.


title: Is Q-learning Provably Efficient?

abstract: Model-free reinforcement learning (RL) algorithms, such as Q-learning, directly parameterize and update value functions or policies without explicitly modeling the environment. They are typically simpler, more flexible to use, and thus more prevalent in modern deep RL than model-based approaches. However, empirical work has suggested that model-free algorithms may require more samples to learn [Deisenroth and Rasmussen 2011, Schulman et al. 2015]. The theoretical question of "whether model-free algorithms can be made sample efficient" is one of the most fundamental questions in RL, and remains unsolved even in the basic scenario with finitely many states and actions. We prove that, in an episodic MDP setting, Q-learning with UCB exploration achieves regret $\tilde{O}(\sqrt{H^3 SAT})$, where $S$ and $A$ are the numbers of states and actions, $H$ is the number of steps per episode, and $T$ is the total number of steps. This sample efficiency matches the optimal regret that can be achieved by any model-based approach, up to a single $\sqrt{H}$ factor. To the best of our knowledge, this is the first analysis in the model-free setting that establishes $\sqrt{T}$ regret without requiring access to a "simulator."


title: Nilpotence varieties

abstract: We consider algebraic varieties canonically associated to any Lie superalgebra, and study them in detail for super-Poincar\'e algebras of physical interest. They are the locus of nilpotent elements in (the projectivized parity reversal of) the odd part of the algebra. Most of these varieties have appeared in various guises in previous literature, but we study them systematically here, from a new perspective: as the natural moduli spaces parameterizing twists of a super-Poincar\'e-invariant physical theory. We obtain a classification of all possible twists, as well as a systematic analysis of unbroken symmetry in twisted theories. The natural stratification of the varieties, the identification of strata with twists, and the action of Lorentz and $R$-symmetry on the varieties are emphasized. We also include a short and unconventional exposition of the pure-spinor superfield formalism, from the perspective of twisting, and demonstrate that it can be applied to construct familiar multiplets in four-dimensional minimally supersymmetric theories; in all dimensions and with any amount of supersymmetry, this technique produces BRST or BV complexes of supersymmetric theories from the Koszul complex of the cone point over the coordinate ring of the nilpotence variety, possibly tensored with a module over that coordinate ring. In addition, we remark on a natural emergence of nilpotence varieties in the Chevalley-Eilenberg cohomology of supertranslations, and give two applications related to these ideas: a calculation of Chevalley-Eilenberg cohomology for the six-dimensional $\mathcal{N}=(2,0)$ supertranslation algebra, and a BV complex matching the field content of type IIB supergravity from the coordinate ring of the corresponding nilpotence variety.


title: Construction and Decoding Algorithms for for Polar Codes based on $2\times2$ Non-Binary Kernels

abstract: Polar codes based on $2\times2$ non-binary kernels are discussed in this work. The kernel over $\text{GF}(q)$ is selected by maximizing the polarization effect and using Monte-Carlo simulation. Belief propagation (BP) and successive cancellation (SC) based decoding algorithms are extended to non-binary codes. Additionally, a successive cancellation list (SCL) decoding with a pruned tree is proposed. Simulation results show that the proposed decoder performs very close to a conventional SCL decoder with significantly lower complexity.


title: Induced subgraphs of graphs with large chromatic number. XIII. New brooms

abstract: Gy\'arf\'as and Sumner independently conjectured that for every tree $T$, the class of graphs not containing $T$ as an induced subgraph is $\chi$-bounded, that is, the chromatic numbers of graphs in this class are bounded above by a function of their clique numbers. This remains open for general trees $T$, but has been proved for some particular trees. For $k\ge 1$, let us say a broom of length $k$ is a tree obtained from a $k$-edge path with ends $a,b$ by adding some number of leaves adjacent to $b$, and we call $a$ its handle. A tree obtained from brooms of lengths $k_1,...,k_n$ by identifying their handles is a $(k_1,...,k_n)$-multibroom. Kierstead and Penrice proved that every $(1,...,1)$-multibroom $T$ satisfies the Gy\'arf\'as-Sumner conjecture, and Kierstead and Zhu proved the same for $(2,...,2)$-multibrooms. In this paper give a common generalization: we prove that every $(1,...,1,2,...,2)$-multibroom satisfies the Gy\'arf\'as-Sumner conjecture.


title: Kernel-Based Learning for Smart Inverter Control

abstract: Distribution grids are currently challenged by frequent voltage excursions induced by intermittent solar generation. Smart inverters have been advocated as a fast-responding means to regulate voltage and minimize ohmic losses. Since optimal inverter coordination may be computationally challenging and preset local control rules are subpar, the approach of customized control rules designed in a quasi-static fashion features as a golden middle. Departing from affine control rules, this work puts forth non-linear inverter control policies. Drawing analogies to multi-task learning, reactive control is posed as a kernel-based regression task. Leveraging a linearized grid model and given anticipated data scenarios, inverter rules are jointly designed at the feeder level to minimize a convex combination of voltage deviations and ohmic losses via a linearly-constrained quadratic program. Numerical tests using real-world data on a benchmark feeder demonstrate that nonlinear control rules driven also by a few non-local readings can attain near-optimal performance.


title: Efficient identification, localization and quantification of grapevine inflorescences in unprepared field images using Fully Convolutional Networks

abstract: Yield and its prediction is one of the most important tasks in grapevine breeding purposes and vineyard management. Commonly, this trait is estimated manually right before harvest by extrapolation, which mostly is labor-intensive, destructive and inaccurate. In the present study an automated image-based workflow was developed quantifying inflorescences and single flowers in unprepared field images of grapevines, i.e. no artificial background or light was applied. It is a novel approach for non-invasive, inexpensive and objective phenotyping with high-throughput. First, image regions depicting inflorescences were identified and localized. This was done by segmenting the images into the classes "inflorescence" and "non-inflorescence" using a Fully Convolutional Network (FCN). Efficient image segmentation hereby is the most challenging step regarding the small geometry and dense distribution of flowers (several hundred flowers per inflorescence), similar color of all plant organs in the fore- and background as well as the circumstance that only approximately 5% of an image show inflorescences. The trained FCN achieved a mean Intersection Over Union (IOU) of 87.6% on the test data set. Finally, individual flowers were extracted from the "inflorescence"-areas using Circular Hough Transform. The flower extraction achieved a recall of 80.3% and a precision of 70.7% using the segmentation derived by the trained FCN model. Summarized, the presented approach is a promising strategy in order to predict yield potential automatically in the earliest stage of grapevine development which is applicable for objective monitoring and evaluations of breeding material, genetic repositories or commercial vineyards.


title: Moir\'e Excitons in Van der Waals Heterostructures

abstract: In van der Waals (vdW) heterostructures formed by stacking two monolayer semiconductors, lattice mismatch or rotational misalignment introduces an in-plane moir\'e superlattice. While it is widely recognized that a moir\'e superlattice can modulate the electronic band structure and lead to novel transport properties including unconventional superconductivity and insulating behavior driven by correlations, its influence on optical properties has not been investigated experimentally. We present spectroscopic evidence that interlayer excitons are confined by the moir\'e potential in a high-quality MoSe2/WSe2 heterobilayer with small rotational twist. A series of interlayer exciton resonances with either positive or negative circularly polarized emission is observed in photoluminescence, consistent with multiple exciton states confined within the moir\'e potential. The recombination dynamics and temperature dependence of these interlayer exciton resonances are consistent with this interpretation. These results demonstrate the feasibility of engineering artificial excitonic crystals using vdW heterostructures for nanophotonics and quantum information applications.


title: Evolution of dark energy reconstructed from the latest observations

abstract: We reconstruct evolution of the dark energy (DE) density using a nonparametric Bayesian approach from a combination of latest observational data. We caution against parameterizing DE in terms of its equation of state as it can be singular in modified gravity models, and using it introduces a bias preventing negative effective DE densities. We find a $3.7\sigma$ preference for an evolving effective DE density with interesting features. For example, it oscillates around the $\Lambda$CDM prediction at $z\lesssim0.7$, and could be negative at $z\gtrsim2.3$; dark energy can be pressure-less at multiple redshifts, and a short period of cosmic deceleration is allowed at $0.1 \lesssim z\lesssim 0.2$. We perform the reconstruction for several choices of the prior, as well as a evidence-weighted reconstruction. We find that some of the dynamical features, such as the oscillatory behaviour of the DE density, are supported by the Bayesian evidence, which is a first detection of a dynamical DE with a positive Bayesian evidence. The evidence-weighted reconstruction prefers a dynamical DE at a $(2.5\pm0.06)\sigma$ significance level.


title: EAST Real-Time VOD System Based on MDSplus

abstract: As with EAST (Experimental Advanced Superconducting Tokamak) experimental data analyzed by more and more collaborators, the experimental videos which directly reflect the real status of vacuum attract more and more researchers' attention. The real time VOD (Video On Demand) system based on MDSplus allows users reading the video frames in real time as same as the signal data which is also stored in the MDSplus database. User can display the plasma discharge videos and analyze videos frame by frame through jScope or our VOD web station. The system mainly includes the frames storing and frames displaying. The frames storing application accepts shot information by using socket TCP communication firstly, then reads video frames through disk mapping, finally stores them into MDSplus. The displaying process is implemented through B/S (Browser/Server) framework, it uses PHP and JavaScript to realize VOD function and read frames information from MDSplus. The system offers a unit way to access and backup experimental data and video during the EAST experiment, which is of great benefit to EAST experimenter than the formal VOD system in VOD function and real time performance.


title: Improving information quality of Wikipedia articles with cooperative principle

abstract: Purpose: The purpose of this paper is to investigate the impact of cooperative principle on the information quality (IQ) by making objects more relevant for consumer needs, in particular case Wikipedia articles for students. Design/methodology/approach: The authors performed a quantitative study with participants being invited to complete an online survey. Each rater evaluated three selected and re-written articles from Wikipedia by four IQ dimensions (accuracy, completeness, objectivity, and representation). Grice's maxims and submaxims were used to re-write articles and make them more relevant for student cognitive needs. The results were analyzed with statistical methods of mean, standard deviation, Cronbach's alpha, and ICC (two-way random model of single measure). Findings: The study demonstrates that Wikipedia articles can be made more relevant for student needs by using cooperative principle with increase in IQ and also achieving higher consistency of students' scores as recent research. In particular, students in the research perceived the abstract, constructed with cooperative principle, more objective and complete as reported in recent research. Practical implications: The work can benefit encyclopedia editors to improve IQ of existing articles as well as consumers that would obtain more relevant information in less reading time. Originality/value: This is one of the first attempts to empirically investigate the application of cooperate principle to make objects more relevant for consumer needs and impact of this on IQ. IQ improvement evidence is provided and impacts on IQ dimensions such as objectivity, completeness, accuracy, and representation for research community to validate and compare results.


title: Probability laws for the distribution of geometric lengths when sampling by a random walk in a Fuchsian fundamental group

abstract: Let $S=\Gamma\backslash \mathbb{H}$ be a hyperbolic surface of finite topological type, such that the Fuchsian group $\Gamma \le \operatorname{PSL}_2(\mathbb{R})$ is non-elementary, and consider any generating set $\mathfrak S$ of $\Gamma$. When sampling by an $n$-step random walk in $\pi_1(S) \cong \Gamma$ with each step given by an element in $\mathfrak S$, the subset of this sampled set comprised of hyperbolic elements approaches full measure as $n\to \infty$, and for this subset, the distribution of geometric lengths obeys a Law of Large Numbers, Central Limit Theorem, Large Deviations Principle, and Local Limit Theorem. We give a proof of this known theorem using Gromov's theorem on translation lengths of Gromov-hyperbolic groups.


title: CIRL: Controllable Imitative Reinforcement Learning for Vision-based Self-driving

abstract: Autonomous urban driving navigation with complex multi-agent dynamics is under-explored due to the difficulty of learning an optimal driving policy. The traditional modular pipeline heavily relies on hand-designed rules and the pre-processing perception system while the supervised learning-based models are limited by the accessibility of extensive human experience. We present a general and principled Controllable Imitative Reinforcement Learning (CIRL) approach which successfully makes the driving agent achieve higher success rates based on only vision inputs in a high-fidelity car simulator. To alleviate the low exploration efficiency for large continuous action space that often prohibits the use of classical RL on challenging real tasks, our CIRL explores over a reasonably constrained action space guided by encoded experiences that imitate human demonstrations, building upon Deep Deterministic Policy Gradient (DDPG). Moreover, we propose to specialize adaptive policies and steering-angle reward designs for different control signals (i.e. follow, straight, turn right, turn left) based on the shared representations to improve the model capability in tackling with diverse cases. Extensive experiments on CARLA driving benchmark demonstrate that CIRL substantially outperforms all previous methods in terms of the percentage of successfully completed episodes on a variety of goal-directed driving tasks. We also show its superior generalization capability in unseen environments. To our knowledge, this is the first successful case of the learned driving policy through reinforcement learning in the high-fidelity simulator, which performs better-than supervised imitation learning.


title: Datalog-based Scalable Semantic Diffing of Concurrent Programs

abstract: When an evolving program is modified to address issues related to thread synchronization, there is a need to confirm the change is correct, i.e., it does not introduce unexpected behavior. However, manually comparing two programs to identify the semantic difference is labor intensive and error prone, whereas techniques based on model checking are computationally expensive. To fill the gap, we develop a fast and approximate static analysis for computing synchronization differences of two programs. The method is fast because, instead of relying on heavy-weight model checking techniques, it leverages a polynomial-time Datalog-based program analysis framework to compute differentiating data-flow edges, i.e., edges allowed by one program but not the other. Although approximation is used our method is sufficiently accurate due to careful design of the Datalog inference rules and iterative increase of the required data-flow edges for representing a difference. We have implemented our method and evaluated it on a large number of multithreaded C programs to confirm its ability to produce, often within seconds, the same differences obtained by human; in contrast, prior techniques based on model checking take minutes or even hours and thus can be 10x to 1000x slower.


title: Adiabatic dechiralisation and thermodynamics of Weyl semimetals

abstract: We study thermodynamic manifestations of the chiral anomaly in disordered Weyl semimetals. We focus, in particular, on the effect which we call 'adiabatic dechiralization,' the phenomenon in which a change in temperature and/or an absorption or release of heat results from applying parallel electric and magnetic fields that change the imbalance of quasiparticles with different chiralities (at different Weyl nodes). This effect is similar to that of adiabatic demagnetization, which is commonly used as a method of low-temperature refrigeration. We describe this phenomenon quantitatively and discuss experimental conditions favorable for its observation. A related phenomenon, which we analyze and which is readily observable in experiments, is the dependency of the heat capacity of a Weyl semimetal on parallel electric and magnetic fields.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el hep-th


title: A Lonely Giant: The Sparse Satellite Population of M94 Challenges Galaxy Formation

abstract: The dwarf satellites of `giant' Milky Way (MW)-mass galaxies are our primary probes of low-mass dark matter halos. The number and velocities of the satellite galaxies of the MW and M31 initially puzzled galaxy formation theorists, but are now reproduced well by many models. Yet, are the MW's and M31's satellites representative? Were galaxy formation models `overfit'? These questions motivate deep searches for satellite galaxies outside the Local Group. We present a deep survey of the `classical' satellites ($M_{\star}$$\geqslant$4$\times$10$^5 M_{\odot}$) of the MW-mass galaxy M94 out to 150 kpc projected distance. We find $only\ two$ satellites, each with $M_{\star}{\sim}10^6 M_{\odot}$, compared with 6-12 such satellites in the four other MW-mass systems with comparable data (MW, M31, M81, M101). Using a `standard' prescription for occupying dark matter halos (taken from the fully hydrodynamical EAGLE simulation) with galaxies, we find that such a sparse satellite population occurs in $<$0.2% of MW-mass systems $-$ a $<$1% probability among a sample of five (known systems + M94). In order to produce an M94-like system more frequently we make satellite galaxy formation much more stochastic than is currently predicted by dramatically increasing the slope and scatter of the stellar mass-halo mass (SMHM) relation. Surprisingly, the SMHM relation must be altered even for halos masses up to 10$^{11}M_{\odot} -$ significantly above the mass scales predicted to have increased scatter from current hydrodynamical models. The sparse satellite population of this `lonely giant' thus advocates for an important modification to ideas of how the satellites around MW-mass galaxies form.


title: Characterizations of norm--parallelism in spaces of continuous functions

abstract: In this paper, we consider the characterization of norm--parallelism problem in some classical Banach spaces. In particular, for two continuous functions $f, g$ on a compact Hausdorff space $K$, we show that $f$ is norm--parallel to $g$ if and only if there exists a probability measure (i.e. positive and of full measure equal to $1$) $\mu$ with its support contained in the norm attaining set $\{x\in K: \, |f(x)| = \|f\|\}$ such that $\big|\int_K \overline{f(x)}g(x)d\mu(x)\big| = \|f\|\,\|g\|$.