title: Lower bounds on the non-Clifford resources for quantum computations

abstract: We establish lower-bounds on the number of resource states, also known as magic states, needed to perform various quantum computing tasks, treating stabilizer operations as free. Our bounds apply to adaptive computations using measurements and an arbitrary number of stabilizer ancillas. We consider (1) resource state conversion, (2) single-qubit unitary synthesis, and (3) computational tasks. To prove our resource conversion bounds we introduce two new monotones, the stabilizer nullity and the dyadic monotone, and make use of the already-known stabilizer extent. We consider conversions that borrow resource states, known as catalyst states, and return them at the end of the algorithm. We show that catalysis is necessary for many conversions and introduce new catalytic conversions, some of which are close to optimal. By finding a canonical form for post-selected stabilizer computations, we show that approximating a single-qubit unitary to within diamond-norm precision $\varepsilon$ requires at least $1/7\cdot\log_2(1/\varepsilon) - 4/3$ $T$-states on average. This is the first lower bound that applies to synthesis protocols using fall-back, mixing techniques, and where the number of ancillas used can depend on $\varepsilon$. Up to multiplicative factors, we optimally lower bound the number of $T$ or $CCZ$ states needed to implement the ubiquitous modular adder and multiply-controlled-$Z$ operations. When the probability of Pauli measurement outcomes is 1/2, some of our bounds become tight to within a small additive constant.


title: The Impact of Extraneous Variables on the Performance of Recurrent Neural Network Models in Clinical Tasks

abstract: Electronic Medical Records (EMR) are a rich source of patient information, including measurements reflecting physiologic signs and administered therapies. Identifying which variables are useful in predicting clinical outcomes can be challenging. Advanced algorithms such as deep neural networks were designed to process high-dimensional inputs containing variables in their measured form, thus bypass separate feature selection or engineering steps. We investigated the effect of extraneous input variables on the predictive performance of Recurrent Neural Networks (RNN) by including in the input vector extraneous variables randomly drawn from theoretical and empirical distributions. RNN models using different input vectors (EMR variables; EMR and extraneous variables; extraneous variables only) were trained to predict three clinical outcomes: in-ICU mortality, 72-hour ICU re-admission, and 30-day ICU-free days. The measured degradations of the RNN's predictive performance with the addition of extraneous variables to EMR variables were negligible.


title: ScriptNet: Neural Static Analysis for Malicious JavaScript Detection

abstract: Malicious scripts are an important computer infection threat vector in the wild. For web-scale processing, static analysis offers substantial computing efficiencies. We propose the ScriptNet system for neural malicious JavaScript detection which is based on static analysis. We use the Convoluted Partitioning of Long Sequences (CPoLS) model, which processes Javascript files as byte sequences. Lower layers capture the sequential nature of these byte sequences while higher layers classify the resulting embedding as malicious or benign. Unlike previously proposed solutions, our model variants are trained in an end-to-end fashion allowing discriminative training even for the sequential processing layers. Evaluating this model on a large corpus of 212,408 JavaScript files indicates that the best performing CPoLS model offers a 97.20% true positive rate (TPR) for the first 60K byte subsequence at a false positive rate (FPR) of 0.50%. The best performing CPoLS model significantly outperform several baseline models.


title: Cyberthreat Detection from Twitter using Deep Neural Networks

abstract: To be prepared against cyberattacks, most organizations resort to security information and event management systems to monitor their infrastructures. These systems depend on the timeliness and relevance of the latest updates, patches and threats provided by cyberthreat intelligence feeds. Open source intelligence platforms, namely social media networks such as Twitter, are capable of aggregating a vast amount of cybersecurity-related sources. To process such information streams, we require scalable and efficient tools capable of identifying and summarizing relevant information for specified assets. This paper presents the processing pipeline of a novel tool that uses deep neural networks to process cybersecurity information received from Twitter. A convolutional neural network identifies tweets containing security-related information relevant to assets in an IT infrastructure. Then, a bidirectional long short-term memory network extracts named entities from these tweets to form a security alert or to fill an indicator of compromise. The proposed pipeline achieves an average 94% true positive rate and 91% true negative rate for the classification task and an average F1-score of 92% for the named entity recognition task, across three case study infrastructures.


title: Analysis of Large Heterogeneous Repairable System Reliability Data with Static System Attributes and Dynamic Sensor Measurement in Big Data Environment

abstract: In Big Data environment, one pressing challenge facing engineers is to perform reliability analysis for a large fleet of heterogeneous repairable systems with covariates. In addition to static covariates, which include time-invariant system attributes such as nominal operating conditions, geo-locations, etc., the recent advances of sensing technologies have also made it possible to obtain dynamic sensor measurement of system operating and environmental conditions. As a common practice in the Big Data environment, the massive reliability data are typically stored in some distributed storage systems. Leveraging the power of modern statistical learning, this paper investigates a statistical approach which integrates the Random Forests algorithm and the classical data analysis methodologies for repairable system reliability, such as the nonparametric estimator for the Mean Cumulative Function and the parametric models based on the Nonhomogeneous Poisson Process. We show that the proposed approach effectively addresses some common challenges arising from practice, including system heterogeneity, covariate selection, model specification and data locality due to the distributed data storage. The large sample properties as well as the uniform consistency of the proposed estimator is established. Two numerical examples and a case study are presented to illustrate the application of the proposed approach. The strengths of the proposed approach are demonstrated by comparison studies.


title: CP violation and material interaction of neutral kaons in measurements of the CKM angle $\gamma$ using $B^\pm\to DK^\pm$ decays where $D\to K_\text{S}^0\pi^+\pi^-$

abstract: As measurements of the CKM angle $\gamma$ in decays of $b$-hadrons become increasingly precise, it is important to consider the impact of processes that affect secondary and tertiary decay products and can contribute to the observed CP violation. The golden decay mode used to measure $\gamma$ is $B^\pm\to DK^\pm$, where $D\to K_\text{S}^0\pi^+\pi^-$. Due to the presence of a $K_\text{S}^0$ meson in the final state, $\gamma$ measurements based on this mode are affected by neutral kaon CP violation and matter regeneration, and this study examines the potential size of the impact. Previous studies determine the impact of kaon CP violation to be a few degrees in size, but make simplifying assumptions about how experimental measurements are implemented. These assumptions are lifted in the present study, and the matter regeneration effect is included for the first time. The results are presented within the context of $\gamma$ measurements to be made using the LHCb and Belle II II detectors. It is found that the expected biases due to ignoring the effects of CP violation and matter regeneration in neutral kaons is small and less than $0.5^\circ$ degrees in all experimental scenarios considered.


title: PAWS: Paraphrase Adversaries from Word Scrambling

abstract: Existing paraphrase identification datasets lack sentence pairs that have high lexical overlap without being paraphrases. Models trained on such data fail to distinguish pairs like flights from New York to Florida and flights from Florida to New York. This paper introduces PAWS (Paraphrase Adversaries from Word Scrambling), a new dataset with 108,463 well-formed paraphrase and non-paraphrase pairs with high lexical overlap. Challenging pairs are generated by controlled word swapping and back translation, followed by fluency and paraphrase judgments by human raters. State-of-the-art models trained on existing datasets have dismal performance on PAWS (<40% accuracy); however, including PAWS training data for these models improves their accuracy to 85% while maintaining performance on existing tasks. In contrast, models that do not capture non-local contextual information fail even with PAWS training examples. As such, PAWS provides an effective instrument for driving further progress on models that better exploit structure, context, and pairwise comparisons.


title: Q# and NWChem: Tools for Scalable Quantum Chemistry on Quantum Computers

abstract: Fault-tolerant quantum computation promises to solve outstanding problems in quantum chemistry within the next decade. Realizing this promise requires scalable tools that allow users to translate descriptions of electronic structure problems to optimized quantum gate sequences executed on physical hardware, without requiring specialized quantum computing knowledge. To this end, we present a quantum chemistry library, under the open-source MIT license, that implements and enables straightforward use of state-of-art quantum simulation algorithms. The library is implemented in Q#, a language designed to express quantum algorithms at scale, and interfaces with NWChem, a leading electronic structure package. We define a standardized schema for this interface, Broombridge, that describes second-quantized Hamiltonians, along with metadata required for effective quantum simulation, such as trial wavefunction ansatzes. This schema is generated for arbitrary molecules by NWChem, conveniently accessible, for instance, through Docker containers and a recently developed web interface EMSL Arrows. We illustrate use of the library with various examples, including ground- and excited-state calculations for LiH, H$_{10}$, and C$_{20}$ with an active-space simplification, and automatically obtain resource estimates for classically intractable examples.

categories: quant-ph cs.ET physics.chem-ph physics.comp-ph


title: Broadband aperiodic variability in X-ray pulsars: accretion rate fluctuations propagating under the influence of viscous diffusion

abstract: We investigate aperiodic X-ray flux variability in accreting highly magnetized neutron stars - X-ray pulsars (XRPs). The X-ray variability is largely determined by mass accretion rate fluctuations at the NS surface, which replicate accretion rate fluctuations at the inner radius of the accretion disc. The variability at the inner radius is due to fluctuations arising all over the disc and propagating inwards under the influence of viscous diffusion. The inner radius varies with mean mass accretion rate and can be estimated from the known magnetic field strength and accretion luminosity of XRPs. Observations of transient XRPs covering several orders of magnitude in luminosity give a unique opportunity to study effects arising due to the changes of the inner disc radius. We investigate the process of viscous diffusion in XRP accretion discs and construct new analytical solutions of the diffusion equation applicable for thin accretion discs truncated both from inside and outside. Our solutions are the most general ones derived in the approximation of Newtonian mechanics. We argue that the break observed at high frequencies in the power density spectra of XRPs corresponds to the minimal time scale of the dynamo process, which is responsible for the initial fluctuations. Comparing data from the bright X-ray transient A 0535+26 with our model, we conclude that the time scale of initial variability in the accretion disc is a few times longer than the local Keplerian time scale.


title: Filling Factors of Sunspots in SODISM Images

abstract: Received: 1st December 2018; Accepted: 18th February 2019; Published: 1st April 2019 Abstract: The calculated filling factors (FFs) for a feature reflect the fraction of the solar disc covered by that feature, and the assignment of reference synthetic spectra. In this paper, the FFs, specified as a function of radial position on the solar disc, are computed for each image in a tabular form. The filling factor (FF) is an important parameter and is defined as the fraction of area in a pixel covered with the magnetic field, whereas the rest of the area in the pixel is field-free. However, this does not provide extensive information about the experiments conducted on tens or hundreds of such images. This is the first time that filling factors for SODISM images have been catalogued in tabular formation. This paper presents a new method that provides the means to detect sunspots on full-disk solar images recorded by the Solar Diameter Imager and Surface Mapper (SODISM) on the PICARD satellite. The method is a totally automated detection process that achieves a sunspot recognition rate of 97.6%. The number of sunspots detected by this method strongly agrees with the NOAA catalogue. The sunspot areas calculated by this method have a 99% correlation with SOHO over the same period, and thus help to calculate the filling factor for wavelength (W.L.) 607nm.


title: Data warehouse on Manpower Employment for Decision Support System

abstract: Since the use of computers in the business world, data collection has become one of the most important issues due to the available knowledge in the data; such data has been stored in the database. The database system was developed which led to the evolvement of hierarchical and relational database followed by Standard Query Language (SQL). As data size increases, the need for more control and information retrieval increase. These increases lead to the development of data mining systems and data warehouses. This paper focuses on the use of a data warehouse as a supporting tool in decision making. We to study the effectiveness of data warehouse techniques in the sense of time and flexibility in our case study (Manpower Employment). The study will conclude with a comparison of traditional relational database and the use of data warehouse. The fundamental role of a data warehouse is to provide data for supporting the decision-making process. Data in a data warehouse environment is a multidimensional data store. We can simply say that data warehouse is a process, not a product, for assembling and managing data from various sources for the purpose of gaining a single detailed view of part or all an establishment. The data warehouse concept has changed the nature of the decision support system, by adding new benefits for improving and expanding the scope, accuracy, and accessibility of data.


title: Approximation algorithms and an integer program for multi-level graph spanners

abstract: Given a weighted graph $G(V,E)$ and $t \ge 1$, a subgraph $H$ is a \emph{$t$--spanner} of $G$ if the lengths of shortest paths in $G$ are preserved in $H$ up to a multiplicative factor of $t$. The \emph{subsetwise spanner} problem aims to preserve distances in $G$ for only a subset of the vertices. We generalize the minimum-cost subsetwise spanner problem to one where vertices appear on multiple levels, which we call the \emph{multi-level graph spanner} (MLGS) problem, and describe two simple heuristics. Applications of this problem include road/network building and multi-level graph visualization, especially where vertices may require different grades of service. We formulate a 0--1 integer linear program (ILP) of size $O(|E||V|^2)$ for the more general minimum \emph{pairwise spanner problem}, which resolves an open question by Sigurd and Zachariasen on whether this problem admits a useful polynomial-size ILP. We extend this ILP formulation to the MLGS problem, and evaluate the heuristic and ILP performance on random graphs of up to 100 vertices and 500 edges.


title: The chemical structure of the very young starless core L1521E

abstract: L1521E is a dense starless core in Taurus that was found to have relatively low molecular depletion by earlier studies, thus suggesting a recent formation. We aim to characterize the chemical structure of L1521E and compare it to the more evolved L1544 pre-stellar core. We have obtained $\sim$2.5$\times$2.5 arcminute maps toward L1521E using the IRAM-30m telescope in transitions of various species. We derived abundances for the species and compared them to those obtained toward L1544. We estimated CO depletion factors. Similarly to L1544, $c$-C$_3$H$_2$ and CH$_3$OH peak at different positions. Most species peak toward the $c$-C$_3$H$_2$ peak. The CO depletion factor derived toward the $Herschel$ dust peak is 4.3$\pm$1.6, which is about a factor of three lower than that toward L1544. The abundances of sulfur-bearing molecules are higher toward L1521E than toward L1544 by factors of $\sim$2-20. The abundance of methanol is similar toward the two cores. The higher abundances of sulfur-bearing species toward L1521E than toward L1544 suggest that significant sulfur depletion takes place during the dynamical evolution of dense cores, from the starless to pre-stellar stage. The CO depletion factor measured toward L1521E suggests that CO is more depleted than previously found. Similar CH$_3$OH abundances between L1521E and L1544 hint that methanol is forming at specific physical conditions in Taurus, characterized by densities of a few $\times$10$^4$ cm$^{-3}$ and $N$(H$_2$)$\gtrsim$10$^{22}$ cm$^{-2}$, when CO starts to catastrophically freeze-out, while water can still be significantly photodissociated, so that the surfaces of dust grains become rich in solid CO and CH$_3$OH, as already found toward L1544. Methanol can thus provide selective crucial information about the transition region between dense cores and the surrounding parent cloud.


title: Circular Dichroism in Rotating Particles

abstract: Light interaction with rotating nanostructures gives rise to phenemona as varied as optical torques and quantum friction. Here we reveal that circular dichroism of rotating optically-isotropic particles has an unexpectedly strong dependence on their internal geometry. In particular, nanorings and nanocrosses exhibit a splitting of $2\Omega$ in the particle optical resonances, while compact particles display weak circular dichroism at low rotation frequency $\Omega$, but a strong circular dichroism at high $\Omega$. We base our findings on a quantum-mechanical description of the polarizability of rotating particles, which has not been rigorously addressed so far. Specifically, we use the random-phase approximation and populate the particle electronic states according to the principle that they are thermally equilibrated in the rotating frame. We further provide insight into the rotational superradience effect and the ensuing optical gain, originating in population inversion as regarded from the lab frame, in which the particle is out of equilibrium. Surprisingly, we find the optical frequency cutoff for superradiance to deviate from the rotation frequency $\Omega$. Our results unveil a rich, unexplored phenomenology of light interaction with rotating objects.


title: Benchmarking Approximate Inference Methods for Neural Structured Prediction

abstract: Exact structured inference with neural network scoring functions is computationally challenging but several methods have been proposed for approximating inference. One approach is to perform gradient descent with respect to the output structure directly (Belanger and McCallum, 2016). Another approach, proposed recently, is to train a neural network (an "inference network") to perform inference (Tu and Gimpel, 2018). In this paper, we compare these two families of inference methods on three sequence labeling datasets. We choose sequence labeling because it permits us to use exact inference as a benchmark in terms of speed, accuracy, and search error. Across datasets, we demonstrate that inference networks achieve a better speed/accuracy/search error trade-off than gradient descent, while also being faster than exact inference at similar accuracy levels. We find further benefit by combining inference networks and gradient descent, using the former to provide a warm start for the latter.


title: Generative predecessor models for sample-efficient imitation learning

abstract: We propose Generative Predecessor Models for Imitation Learning (GPRIL), a novel imitation learning algorithm that matches the state-action distribution to the distribution observed in expert demonstrations, using generative models to reason probabilistically about alternative histories of demonstrated states. We show that this approach allows an agent to learn robust policies using only a small number of expert demonstrations and self-supervised interactions with the environment. We derive this approach from first principles and compare it empirically to a state-of-the-art imitation learning method, showing that it outperforms or matches its performance on two simulated robot manipulation tasks and demonstrate significantly higher sample efficiency by applying the algorithm on a real robot.


title: Cavity nano-optomechanics in the ultrastrong coupling regime with ultrasensitive force sensors

abstract: In a canonical optomechanical system, mechanical vibrations are dynamically encoded on an optical probe field which reciprocally exerts a backaction force. Due to the weak single photon coupling strength achieved with macroscopic oscillators, most of existing experiments were conducted with large photon numbers to achieve sizeable effects, thereby causing a dilution of the original optomechanical non-linearity. Here, we investigate the optomechanical interaction of an ultrasensitive suspended nanowire inserted in a fiber-based microcavity mode. This implementation allows to enter far into the hitherto unexplored ultrastrong optomechanical coupling regime, where one single intracavity photon can displace the oscillator by more than its zero point fluctuations. To fully characterize our system, we implement nanowire-based scanning probe measurements to map the vectorial optomechanical coupling strength, but also to reveal the intracavity optomechanical force field experienced by the nanowire. This work establishes that the single photon cavity optomechanics regime is within experimental reach.


title: Entanglement Classifier in Chemical Reactions

abstract: Ever since the appearance of the seminal work of Einstein, Podolsky and Rosen (The EPR-paradox), the phenomenon of entanglement, which features the essential difference between classical and quantum physics, has received wide theoretical and experimental attentions. Recently the desire to understand and create quantum entanglement between particles such as spins, photons, atoms and molecules is fueled by the development of quantum teleportation, quantum communication, quantum cryptography and quantum computation. Although most of the work has focused on showing that entanglement violates the famous Bell's inequality and its generalization for discrete measurements, few recent attempts focus on continuous measurement results. Here, we have developed a general practical inequality to test entanglement for continuous measurement results, particularly scattering of chemical reactions. After we explain how to implement this new inequality to classify entanglement in scattering experiments, we propose a specific chemical reaction to test the violation of this inequality. The method is general and could be used to classify entanglement for continuous measurement results.


title: Stability of Benney-Luke line solitary waves in 2D

abstract: The $2$D Benney-Luke equation is an isotropic model which describes long water waves of small amplitude in $3$D whereas the KP-II equation is a unidirectional model for long waves with slow variation in the transverse direction. In the case where the surface tension is weak or negligible, linearly stability of small line solitary waves of the $2$D Benney-Luke equation was proved by Mizumachi and Shimabukuro [Nonlinearity, 30 (2017), 3419--3465]. In this paper, we prove nonlinear stability of the line solitary waves by adopting the argument by Mizumachi ([Mem. Amer. Math. Soc. no. 1125], [Proc. Roy. Soc. Edinburgh Sect. A., 148 (2018), 149--198] and [arXiv:1808.00809]) which prove nonlinear stability of $1$-line solitons for the KP-II equation.


title: Surgical Gesture Recognition with Optical Flow only

abstract: In this paper, we address the open research problem of surgical gesture recognition using motion cues from video data only. We adapt Optical flow ConvNets initially proposed by Simonyan et al.. While Simonyan uses both RGB frames and dense optical flow, we use only dense optical flow representations as input to emphasize the role of motion in surgical gesture recognition, and present it as a robust alternative to kinematic data. We also overcome one of the limitations of Optical flow ConvNets by initializing our model with cross modality pre-training. A large number of promising studies that address surgical gesture recognition highly rely on kinematic data which requires additional recording devices. To our knowledge, this is the first paper that addresses surgical gesture recognition using dense optical flow information only. We achieve competitive results on JIGSAWS dataset, moreover, our model achieves more robust results with less standard deviation, which suggests optical flow information can be used as an alternative to kinematic data for the recognition of surgical gestures.


title: A Chandra and ALMA Study of X-ray-irradiated Gas in the Central ~100 pc of the Circinus Galaxy

abstract: We report a study of X-ray-irradiated gas in the central ~100 pc of the Circinus galaxy, hosting a Compton-thick active galactic nucleus (AGN), at 10-pc resolution using Chandra and ALMA. Based on ~200 ksec Chandra/ACIS-S data, we created an image of the Fe Kalpha line at 6.4 keV, tracing X-ray-irradiated dense gas. The ALMA data in Bands 6 (~270 GHz) and 7 (~350 GHz) cover five molecular lines: CO(J=3--2), HCN(J=3--2), HCN(J=4--3), HCO^+(J=3--2), and HCO^+(J=4--3). The detailed spatial distribution of dense molecular gas was revealed, and compared to the iron line image. The molecular gas emission appeared faint in regions with bright iron emission. Motivated by this, we quantitatively discuss the possibility that the molecular gas is efficiently dissociated by AGN X-ray irradiation (i.e., creating an X-ray-dominated region). Based on a non-local thermodynamic equilibrium model, we constrained the molecular gas densities and found that they are as low as interpreted by X-ray dissociation. Furthermore, judging from inactive star formation (SF) reported in the literature, we suggest that the X-ray emission has potential to suppress SF, particularly in the proximity of the AGN.


title: Stochastic Subspace Descent

abstract: We present two stochastic descent algorithms that apply to unconstrained optimization and are particularly efficient when the objective function is slow to evaluate and gradients are not easily obtained, as in some PDE-constrained optimization and machine learning problems. The basic algorithm projects the gradient onto a random subspace at each iteration, similar to coordinate descent but without restricting directional derivatives to be along the axes. This algorithm is previously known but we provide new analysis. We also extend the popular SVRG method to this framework but without requiring that the objective function be written as a finite sum. We provide proofs of convergence for our methods under various convexity assumptions and show favorable results when compared to gradient descent and BFGS on non-convex problems from the machine learning and shape optimization literature. We also note that our analysis gives a proof that the iterates of SVRG and several other popular first-order stochastic methods, in their original formulation, converge almost surely to the optimum; to our knowledge, prior to this work the iterates of SVRG had only been known to converge in expectation.


title: Recent results on the spectra of lens spaces

abstract: In this paper we report on recent results by several authors, on the spectral theory of lens spaces and orbifolds and similar locally symmetric spaces of rank one. Most of these results are related to those obtained by the authors in [IMRN (2016), 1054--1089], where the spectra of lens spaces were described in terms of the one-norm spectrum of a naturally associated congruence lattice. As a consequence, the first examples of Riemannian manifolds isospectral on $p$-forms for all $p$ but not strongly isospectral were constructed. We also give a new elementary proof in the case of the spectrum on functions. In this proof, representation theory of compact Lie groups is avoided and replaced by the use of Molien's formula and a manipulation of the one-norm generating function associated to a congruence lattice. In the last four sections we present several recent results, open problems and conjectures on the subject.


title: Maximal Information Leakage based Privacy Preserving Data Disclosure Mechanisms

abstract: It is often necessary to disclose training data to the public domain, while protecting privacy of certain sensitive labels. We use information theoretic measures to develop such privacy preserving data disclosure mechanisms. Our mechanism involves perturbing the data vectors in a manner that strikes a balance in the privacy-utility trade-off. We use maximal information leakage between the output data vector and the confidential label as our privacy metric. We first study the theoretical Bernoulli-Gaussian model and study the privacy-utility trade-off when only the mean of the Gaussian distributions can be perturbed. We show that the optimal solution is the same as the case when the utility is measured using probability of error at the adversary. We then consider an application of this framework to a data driven setting and provide an empirical approximation to the Sibson mutual information. By performing experiments on the MNIST and FERG data-sets, we show that our proposed framework achieves equivalent or better privacy than previous methods based on mutual information.


title: Measurement of neutron production in atmospheric neutrino interactions at the Sudbury Neutrino Observatory

abstract: Neutron production in GeV-scale neutrino interactions is a poorly studied process. We have measured the neutron multiplicities in atmospheric neutrino interactions in the Sudbury Neutrino Observatory experiment and compared them to the prediction of a Monte Carlo simulation using GENIE and a minimally modified version of GEANT4. We analyzed 837 days of exposure corresponding to Phase I, using pure heavy water, and Phase II, using a mixture of Cl in heavy water. Neutrons produced in atmospheric neutrino interactions were identified with an efficiency of $15.3\%$ and $44.3\%$, for Phase I and II respectively. The neutron production is measured as a function of the visible energy of the neutrino interaction and, for charged current quasi-elastic interaction candidates, also as a function of the neutrino energy. This study is also performed classifying the complete sample into two pairs of event categories: charged current quasi-elastic and non charged current quasi-elastic, and $\nu_{\mu}$ and $\nu_e$. Results show good overall agreement between data and Monte Carlo for both phases, with some small tension with a statistical significance below $2\sigma$ for some intermediate energies.


title: Cognitive Management of Bandwidth Allocation Models with Case-Based Reasoning -- Evidences Towards Dynamic BAM Reconfiguration

abstract: Management is a complex task in today's heterogeneous and large scale networks like Cloud, IoT, vehicular and MPLS networks. Likewise, researchers and developers envision the use of artificial intelligence techniques to create cognitive and autonomic management tools that aim better assist and enhance the management process cycle. Bandwidth allocation models (BAMs) are a resource allocation solution for networks that need to share and optimize limited resources like bandwidth, fiber or optical slots in a flexible and dynamic way. This paper proposes and evaluates the use of Case-Based Reasoning (CBR) for the cognitive management of BAM reconfiguration in MPLS networks. The results suggest that CBR learns about bandwidth request profiles (LSPs requests) associated with the current network state and is able to dynamically define or assist in BAM reconfiguration. The BAM reconfiguration approach adopted is based on switching among available BAM implementations (MAM, RDM and ATCS). The cognitive management proposed allows BAMs self-configuration and results in optimizing the utilization of network resources.


title: Thickened 2D Networks for Efficient 3D Medical Image Segmentation

abstract: There has been a debate in 3D medical image segmentation on whether to use 2D or 3D networks, where both pipelines have advantages and disadvantages. 2D methods enjoy a low inference time and greater transfer-ability while 3D methods are superior in performance for hard targets requiring contextual information. This paper investigates efficient 3D segmentation from another perspective, which uses 2D networks to mimic 3D segmentation. To compensate the lack of contextual information in 2D manner, we propose to thicken the 2D network inputs by feeding multiple slices as multiple channels into 2D networks and thus 3D contextual information is incorporated. We also put forward to use early-stage multiplexing and slice sensitive attention to solve the confusion problem of information loss which occurs when 2D networks face thickened inputs. With this design, we achieve a higher performance while maintaining a lower inference latency on a few abdominal organs from CT scans, in particular when the organ has a peculiar 3D shape and thus strongly requires contextual information, demonstrating our method's effectiveness and ability in capturing 3D information. We also point out that "thickened" 2D inputs pave a new method of 3D segmentation, and look forward to more efforts in this direction. Experiments on segmenting a few abdominal targets in particular blood vessels which require strong 3D contexts demonstrate the advantages of our approach.


title: Universal $1/3$-suppression of magnonic shot noise in diffusive insulating magnets

abstract: Extending a Boltzmann-Langevin theory to magnons, we show a universality of current-noise suppression in diffusive systems against the difference of quantum-statistical properties of bosons and fermions. To this end, starting from a quantum kinetic equation for magnons subjected to thermal gradient in dilute impurities, we derive a bosonic counterpart of the semiclassical Boltzmann-Langevin equation for electrons and evaluate a magnonic current-noise in the diffusive insulating magnet. We theoretically discover that compared with a Poissonian shot noise of magnons in an insulating ferromagnetic junction, the magnonic shot noise is suppressed in the diffusive insulating bulk magnet and noise-to-current ratio (Fano factor) at low temperatures exhibits a universal behavior, i.e., the same suppression $1/3$ as the one for electron transport in diffusive conductors, despite the difference of quantum-statistical properties. Finally, we show that our predictions are within experimental reach with current device and measurement technologies.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el


title: The Discrete Fourier Transform for Golden Angle Linogram Sampling

abstract: Estimation of the Discrete-Time Fourier Transform (DTFT) at points of a finite domain arises in many imaging applications. A new approach to this task, the Golden Angle Linogram Fourier Domain (GALFD), is presented, together with a computationally fast and accurate tool, named Golden Angle Linogram Evaluation (GALE), for approximating the DTFT at points of a GALFD. A GALFD resembles a Linogram Fourier Domain (LFD), which is efficient and accurate. A limitation of linograms is that embedding an LFD into a larger one requires many extra points, at least doubling the domain's cardinality. The GALFD, on the other hand, allows for incremental inclusion of relatively few data points. Approximation error bounds and floating point operations counts are presented to show that GALE computes accurately and efficiently the DTFT at the points of a GALFD. The ability to extend the data collection in small increments is beneficial in applications such as Magnetic Resonance Imaging. Experiments for simulated and for real-world data are presented to substantiate the theoretical claims. The mathematical analysis, algorithms, and software developed in the paper are equally suitable to other angular distributions of rays and therefore we bring the benefits of linograms to arbitrary radial patterns.


title: Semi-supervised graph labelling reveals increasing partisanship in the United States Congress

abstract: Graph labelling is a key activity of network science, with broad practical applications, and close relations to other network science tasks, such as community detection and clustering. While a large body of work exists on both unsupervised and supervised labelling algorithms, the class of random walk-based supervised algorithms requires further exploration, particularly given their relevance to social and political networks. This work refines and expands upon a new semi-supervised graph labelling method, the GLaSS method, that exactly calculates absorption probabilities for random walks on connected graphs. The method models graphs exactly as discrete-time Markov chains, treating labelled nodes as absorbing states. The method is applied to roll call voting data for 42 meetings of the United States House of Representatives and Senate, from 1935 to 2019. Analysis of the 84 resultant political networks demonstrates strong and consistent performance of GLaSS when estimating labels for unlabelled nodes in graphs, and reveals a significant trend of increasing partisanship within the United States Congress.


title: Quantized first-order phase transition and two sets of critical end point in droplet quark matter

abstract: The finite-size effect on the chiral phase transition is investigated in the Nambu--Jona-Lasinio model. To take into account finite-size effects, momentum integrals are replaced by momentum summations. The ground state of quark matter at finite size is favored when applying the periodic spatial boundary condition for quarks. The zero-momentum contribution is taken into account in the periodic boundary condition, and its contribution becomes important when the system size is comparable with the pion wavelength. When the zero-mode contribution becomes dominant, the conventional first-order chiral phase transition at high baryon chemical potential splits into two first-order phase transitions in small system of quark matter, and two sets of critical end point show up in the temperature and chemical potential plane.


title: First Observation Of Coherent Elastic Neutrino-Nucleus Scattering

abstract: Coherent elastic neutrino-nucleus scattering (CE$\nu$NS) has the largest predicted cross-section of all low-energy neutrino couplings. However, as a neutral-current interaction, the only experimental signature of CE$\nu$NS is a low-energy nuclear recoil, which made its detection challenging. CE$\nu$NS remained unobserved for over four decades. This thesis describes the experiment that resulted in a CE$\nu$NS observation at a 6.7-sigma confidence level. A low-background, 14.6-kg CsI[Na] scintillator was exposed to the neutrino emissions from the Spallation Neutron Source at Oak Ridge National Laboratory. Characteristic CE$\nu$NS signatures in energy and time, compatible with predictions from the Standard Model, were observed in high signal-to-background conditions. CE$\nu$NS provides new opportunities to study neutrino properties, and enables the miniaturization of detectors.


title: Learning Mixtures of Smooth Product Distributions: Identifiability and Algorithm

abstract: We study the problem of learning a mixture model of non-parametric product distributions. The problem of learning a mixture model is that of finding the component distributions along with the mixing weights using observed samples generated from the mixture. The problem is well-studied in the parametric setting, i.e., when the component distributions are members of a parametric family -- such as Gaussian distributions. In this work, we focus on multivariate mixtures of non-parametric product distributions and propose a two-stage approach which recovers the component distributions of the mixture under a smoothness condition. Our approach builds upon the identifiability properties of the canonical polyadic (low-rank) decomposition of tensors, in tandem with Fourier and Shannon-Nyquist sampling staples from signal processing. We demonstrate the effectiveness of the approach on synthetic and real datasets.


title: Sizing and Dynamic modeling of a Power System for the MUN Explorer Autonomous Underwater Vehicle using a Fuel Cell and Batteries

abstract: The combination of a fuel cell and batteries has promising potential for powering autonomous vehicles. The MUN Explorer Autonomous Underwater Vehicle (AUV) is built to do mapping-type missions of seabeds as well as survey missions. These missions require a great deal of power to reach underwater depths (i.e. 3000 meters). The MUN Explorer uses 11 rechargeable Lithium-ion (Li-ion) batteries as the main power source with a total capacity of 14.6kWh to 17.952kWh, and the vehicle can run for 10 hours. The draw-backs of operating the existing power system of the MUN Explorer, which was done by the researcher at the Holyrood management facility, include mobilization costs, logistics and transport, and facility access, all of which should be taken into consideration. Recharging the batteries for at least 8 hours is also very challenging and time consuming. To overcome these challenges and run the MUN Explorer for a long time, it is essential to integrate a fuel cell into an existing power system (i.e. battery bank). The integration of the fuel cell not only will increase the system power, but it will also reduce the number of batteries needed as suggested by HOMER software. In this paper, an integrated fuel cell is designed to be added into the MUN Explorer AUV along with a battery bank system to increase its power system. The system sizing is performed using HOMER software. The results from HOMER software show that a 1kW fuel cell and 8 Li-ion batteries can increase the power system capacity to 68 kWh. The dynamic model is then built in MATLAB/Simulink environment to provide a better understanding of the system behavior.The 1kW fuel cell is connected to a DC/DC Boost Converter to increase the output voltage from 24V to 48V as required by the battery and DC motor.


title: Chasing after flavor symmetries of quarks from bottom up

abstract: We explore a flavor structure of quarks in the standard model under the assumption that flavor symmetries exist in a theory beyond the standard model, and chase after their properties, using a bottom-up approach. We reacknowledge that a flavor-symmetric part of Yukawa coupling matrix can be realized by a rank-one matrix and a democratic-type one occupies a special position, based on Dirac's naturalness.


title: Matching Points: Supplementing Instruments with Covariates in Triangular Models

abstract: Models with a discrete endogenous variable are typically underidentified when the instrument takes on too few values. This paper presents a new method that matches pairs of covariates and instruments to restore point identification in this scenario in a triangular model. The model consists of a structural function for a continuous outcome and a selection model for the discrete endogenous variable. The structural outcome function must be continuous and monotonic in a scalar disturbance, but it can be nonseparable. The selection model allows for unrestricted heterogeneity. Global identification is obtained under weak conditions. The paper also provides estimators of the structural outcome function. Two empirical examples of the return to education and selection into Head Start illustrate the value and limitations of the method.


title: Curls & Whey: Boosting Black-Box Adversarial Attacks

abstract: Image classifiers based on deep neural networks suffer from harassment caused by adversarial examples. Two defects exist in black-box iterative attacks that generate adversarial examples by incrementally adjusting the noise-adding direction for each step. On the one hand, existing iterative attacks add noises monotonically along the direction of gradient ascent, resulting in a lack of diversity and adaptability of the generated iterative trajectories. On the other hand, it is trivial to perform adversarial attack by adding excessive noises, but currently there is no refinement mechanism to squeeze redundant noises. In this work, we propose Curls & Whey black-box attack to fix the above two defects. During Curls iteration, by combining gradient ascent and descent, we `curl' up iterative trajectories to integrate more diversity and transferability into adversarial examples. Curls iteration also alleviates the diminishing marginal effect in existing iterative attacks. The Whey optimization further squeezes the `whey' of noises by exploiting the robustness of adversarial perturbation. Extensive experiments on Imagenet and Tiny-Imagenet demonstrate that our approach achieves impressive decrease on noise magnitude in l2 norm. Curls & Whey attack also shows promising transferability against ensemble models as well as adversarially trained models. In addition, we extend our attack to the targeted misclassification, effectively reducing the difficulty of targeted attacks under black-box condition.


title: On temperature-dependent anisotropies of upper critical field and London penetration depth

abstract: We show on a few examples of one-band materials with spheroidal Fermi surfaces and anisotropic order parameters that anisotropies $\gamma_H$ of the upper critical field and $\gamma_\lambda$ of the London penetration depth depend on temperature, the feature commonly attributed to multi-band superconductors. The parameters $\gamma_H$ and $\gamma_\lambda$ may have opposite temperature dependencies or may change in the same direction depending on Fermi surface shape and on character of the gap nodes. For two-band systems, the behavior of anisotropies is affected by the ratios of bands densities of states, Fermi velocities, anisotropies, and order parameters. We investigate in detail the conditions determining the directions of temperature dependences of the two anisotropy factors.


title: A general-purpose element-based approach to compute dispersion relations in periodic materials with existing finite element codes

abstract: In most of standard Finite Element (FE) codes it is not easy to calculate dispersion relations from periodic materials. Here we propose a new strategy to calculate such dispersion relations with available FE codes using user element subroutines. Typically, the Bloch boundary conditions are applied to the global assembled matrices of the structure through a transformation matrix or row-and-column operations. Such a process is difficult to implement in standard FE codes since the user does not have access to the global matrices. In this work, we apply those Bloch boundary conditions directly at the elemental level. The proposed strategy can be easily implemented in any FE code. This strategy can be used either in real or complex algebra solvers. It is general enough to permit any spatial dimension and physical phenomena involving periodic structures. A detailed process of calculation and assembly of the elemental matrices is shown. We verify our method with available analytical solutions and external numerical results, using different material models and unit cell geometries


title: Simplified inpproximability of hypergraph coloring via t-agreeing families

abstract: We reprove the results on the hardness of approximating hypergraph coloring using a different technique based on bounds on the size of extremal $t$-agreeing families of $[q]^n$. Specifically, using theorems of Frankl-Tokushige [FT99], Ahlswede-Khachatrian [AK98] and Frankl [F76] on the size of such families, we give simple and unified proofs of quasi NP-hardness of the following problems: $\bullet$ coloring a $3$ colorable $4$-uniform hypergraph with $(\log n)^\delta$ many colors $\bullet$ coloring a $3$ colorable $3$-uniform hypergraph with $\tilde{O}(\sqrt{\log \log n})$ many colors $\bullet$ coloring a $2$ colorable $6$-uniform hypergraph with $(\log n)^\delta$ many colors $\bullet$ coloring a $2$ colorable $4$-uniform hypergraph with $\tilde{O}(\sqrt{\log \log n})$ many colors where $n$ is the number of vertices of the hypergraph and $\delta>0$ is a universal constant.


title: Large AdS$_6$ black holes from CFT$_5$

abstract: We study supersymmetric AdS$_6$ black holes at large angular momenta, from the index of 5d SCFTs on $S^4\times\mathbb{R}$ in the large $N$ and Cardy limit. Our examples are the strong coupling limits of 5d gauge theories on the D4-D8-O8 system. The large $N$ free energy scales like $N^{5/2}$, statistically accounting for the entropy of large black holes in AdS$_6$. Instanton solitons play subtle roles to realize these deconfined degrees of freedom.


title: Oresme Polynomials and Their Derivatives

abstract: We study the problem of generalization of Oresme numbers with a new sequence of numbers called Oresme polynomials. Moreover, by using the matrix methods for Oresme polynomials, we obtain the identities including the general bilinear index-reduction formula of these numbers. Further, Oresme polynomials that are natural extensions of the $k$-Oresme numbers are introduced and some relations for the derivatives of these polynomials in the form of convolution are proved.


title: The Configuration of the Perivascular System Transporting Macromolecules in the CNS (PREPRINT)

abstract: Large blood vessels entering the CNS are surrounded by perivascular spaces that communicate with the cerebrospinal fluid and, at their termini, with the interstitial space. Solutes and particles can translocate along these perivascular conduits, reportedly in both directions. Recently, this prompted a renewed interest in the intrathecal therapy delivery route for CNS-targeted therapeutics. However, the extent of the CNS coverage by the perivascular system is unknown, making the outcome of drug administration to the CSF uncertain. We traced the translocation of model macromolecules from the CSF into the CNS of rats and non-human primates. Conduits transporting macromolecules were found to extend throughout the parenchyma from both external and internal (fissures) CNS boundaries, excluding ventricles, in large numbers, on average ca. 40 channels per mm2 in rats and non-human primates. The high density and depth of extension of the perivascular channels suggest that the perivascular route can be suitable for delivery of therapeutics to parenchymal targets throughout the CNS.


title: Multi-layer Unmanned Aerial Vehicle Networks: Modeling and Performance Analysis

abstract: Since various types of unmanned aerial vehicles (UAVs) with different hardware capabilities are introduced, we establish a foundation for the multi-layer aerial network (MAN). First, the MAN is modeled as K layer ANs, and each layer has UAVs with different densities, floating altitudes, and transmission power. To make the framework applicable for various scenarios in MAN, we consider the transmitter- and the receiver-oriented node association rules as well as the air-to-ground and air-to-air channel models, which form line of sight links with a location-dependent probability. We then newly analyze the association probability, the main link distance distribution, successful transmission probability (STP), and area spectral efficiency (ASE) of MAN. The upper bounds of the optimal densities that maximize STP and ASE are also provided. Finally, in the numerical results, we show the optimal UAV densities of an AN that maximize the ASE and the STP decrease with the altitude of the network. We also show that when the total UAV density is fixed for two layer AN, the use of single layer in higher(lower) altitude only for all UAVs can achieve better performance for low(high) total density case, otherwise, distributing UAVs in two layers, i.e., MAN, achieves better performance.


title: Blockchain-based Lightweight Authentication Mechanism for Vehicular Fog Infrastructure

abstract: With the increasing development of advanced communication technologies, vehicles are becoming smarter and more connected. Due to the tremendous growth of various vehicular applications, a huge amount of data is generated through advanced on-board devices and is deemed critical to improve driving safety and enhance vehicular services. However, cloud based models often fall short in applications where latency and mobility are critical. In order to fully realize the potential of vehicular networks, the challenges of efficient communication and computation need to be addressed. In this direction, vehicular fog computing (VFC) has emerged which extends the concept of fog computing to conventional vehicular networks. It is a geographically distributed paradigm that has the potential to conduct time-critical and data-intensive tasks by pushing intelligence (i.e. computing resources, storage, and application services) in the vicinity of end vehicles. However secure and reliable transmission are of significant importance in highly-mobile vehicular networks in order to ensure the optimal Quality of Service (QoS). In this direction, several authentication mechanisms have been proposed in the literature but most of them are found unfit due to absence of decentralization, anonymity, and trust characteristics. Thus, an effective cross-datacenter authentication and key-exchange scheme based on blockchain and elliptic curve cryptography (ECC) is proposed in this paper. Here, the distributed ledger of blockchain is used for maintaining the network information while the highly secure ECC is employed for mutual authentication between vehicles and road side units (RSUs). Additionally, the proposed scheme is lightweight and scalable for the considered VFC setup. The performance evaluation results against the existing state-of-the-art reveal that the proposed scheme accomplishes enhanced security features.


title: Res2Net: A New Multi-scale Backbone Architecture

abstract: Representing features at multiple scales is of great importance for numerous vision tasks. Recent advances in backbone convolutional neural networks (CNNs) continually demonstrate stronger multi-scale representation ability, leading to consistent performance gains on a wide range of applications. However, most existing methods represent the multi-scale features in a layer-wise manner. In this paper, we propose a novel building block for CNNs, namely Res2Net, by constructing hierarchical residual-like connections within one single residual block. The Res2Net represents multi-scale features at a granular level and increases the range of receptive fields for each network layer. The proposed Res2Net block can be plugged into the state-of-the-art backbone CNN models, e.g., ResNet, ResNeXt, and DLA. We evaluate the Res2Net block on all these models and demonstrate consistent performance gains over baseline models on widely-used datasets, e.g., CIFAR-100 and ImageNet. Further ablation studies and experimental results on representative computer vision tasks, i.e., object detection, class activation mapping, and salient object detection, further verify the superiority of the Res2Net over the state-of-the-art baseline methods. The source code and trained models are available on https://mmcheng.net/res2net/.


title: Irreducible twisted Heisenberg-Virasoro modules from tensor products

abstract: In this paper, we realize polynomial $\H$-modules $\Omega(\lambda,\alpha,\beta)$ from irreducible twisted Heisenberg-Virasoro modules $\A_{\alpha,\beta}$. It follows from $\H$-modules $\Omega(\lambda,\alpha,\beta)$ and $\mathrm{Ind}(M)$ that we obtain a class of natural non-weight tensor product modules $\big(\bigotimes_{i=1}^m\Omega(\lambda_i,\alpha_i,\beta_i)\big)\otimes \mathrm{Ind}(M)$. Then we give the necessary and sufficient conditions under which these modules are irreducible and isomorphic, and also give that the irreducible modules in this class are new.


title: An Efficient Blockchain-based Hierarchical Authentication Mechanism for Energy Trading in V2G Environment

abstract: Vehicle-to-grid (V2G) networks have emerged as a new technology in modern electric power transmission networks. It allows bi-directional flow of communication and electricity between electric vehicles (EVs) and the Smart Grid (SG), in order to provide more sophisticated energy trading. However, due to the involvement of a huge amount of trading data and the presence of untrusted entities in the visiting networks, the underlying V2G infrastructure suffers from various security and privacy challenges. Although, several solutions have been proposed in the literature to address these problems, issues like lack of mutual authentication and anonymity, incapability to protect against several attack vectors, generation of huge overhead, and dependency on centralized infrastructures make security and privacy issues even more challenging. To address the above mentioned problems, in this paper, we propose a blockchain oriented hierarchical authentication mechanism for rewarding EVs. The overall process is broadly classified into the following phases: 1) System Initialization, 2) Registration, 3) Hierarchical Mutual Authentication, and 4) Consensus; wherein blockchain's distributed ledger has been employed for transaction execution in distributed V2G environments while Elliptic curve cryptography (ECC) has been used for hierarchical authentication. The designed hierarchical authentication mechanism has been employed to preserve the anonymity of EVs and support mutual authentication between EVs, charging stations (CSs) and the central aggregator (CAG). Additionally, it also supports minimal communicational and computational overheads on resource constrained EVs. Further, formal security verification of the proposed scheme on widely accepted Automated Validation of Internet Security Protocols and Applications (AVISPA) tool validates its safeness against different security attacks.


title: Recent Advances in Natural Language Inference: A Survey of Benchmarks, Resources, and Approaches

abstract: In the NLP community, recent years have seen a surge of research activities that address machines' ability to perform deep language understanding which goes beyond what is explicitly stated in text, rather relying on reasoning and knowledge of the world. Many benchmark tasks and datasets have been created to support the development and evaluation of such natural language inference ability. As these benchmarks become instrumental and a driving force for the NLP research community, this paper aims to provide an overview of recent benchmarks, relevant knowledge resources, and state-of-the-art learning and inference approaches in order to support a better understanding of this growing field.


title: A Multi-Task Approach for Disentangling Syntax and Semantics in Sentence Representations

abstract: We propose a generative model for a sentence that uses two latent variables, with one intended to represent the syntax of the sentence and the other to represent its semantics. We show we can achieve better disentanglement between semantic and syntactic representations by training with multiple losses, including losses that exploit aligned paraphrastic sentences and word-order information. We also investigate the effect of moving from bag-of-words to recurrent neural network modules. We evaluate our models as well as several popular pretrained embeddings on standard semantic similarity tasks and novel syntactic similarity tasks. Empirically, we find that the model with the best performing syntactic and semantic representations also gives rise to the most disentangled representations.


title: WFIRST: The Essential Cosmology Space Observatory for the Coming Decade

abstract: Two decades after its discovery, cosmic acceleration remains the most profound mystery in cosmology and arguably in all of physics. Either the Universe is dominated by a form of dark energy with exotic physical properties not predicted by standard model physics, or General Relativity is not an adequate description of gravity over cosmic distances. WFIRST emerged as a top priority of Astro2010 in part because of its ability to address the mystery of cosmic acceleration through both high precision measurements of the cosmic expansion history and the growth of cosmic structures with multiple and redundant probes. We illustrate in this white paper how mission design changes since Astro2010 have made WFIRST an even more powerful dark energy facility and have improved the ability of WFIRST to respond to changes in the experimental landscape. WFIRST is the space-based probe of DE the community needs in the mid-2020s.


title: DeepLight: Learning Illumination for Unconstrained Mobile Mixed Reality

abstract: We present a learning-based method to infer plausible high dynamic range (HDR), omnidirectional illumination given an unconstrained, low dynamic range (LDR) image from a mobile phone camera with a limited field of view (FOV). For training data, we collect videos of various reflective spheres placed within the camera's FOV, leaving most of the background unoccluded, leveraging that materials with diverse reflectance functions reveal different lighting cues in a single exposure. We train a deep neural network to regress from the LDR background image to HDR lighting by matching the LDR ground truth sphere images to those rendered with the predicted illumination using image-based relighting, which is differentiable. Our inference runs at interactive frame rates on a mobile device, enabling realistic rendering of virtual objects into real scenes for mobile mixed reality. Training on automatically exposed and white-balanced videos, we improve the realism of rendered objects compared to the state-of-the art methods for both indoor and outdoor scenes.


title: Endoscopy for Hecke categories, character sheaves and representations

abstract: For a split reductive group $G$ over a finite field, we show that the neutral block of its mixed Hecke category with a fixed monodromy under the torus action is monoidally equivalent to the mixed Hecke category of the corresponding endoscopic group $H$ with trivial monodromy. We also extend this equivalence to all blocks. We give two applications. One is a relationship between character sheaves on $G$ with a fixed semisimple parameter and unipotent character sheaves on the endoscopic group $H$, after passing to asymptotic versions. The other is a similar relationship between representations of $G(\mathbb{F}_q)$ with a fixed semisimple parameter and unipotent representations of $H(\mathbb{F}_{q})$.


title: Cosmic strings in compactified gauge theory

abstract: A solution of the vortex type is given in a six-dimensional $SU(2)\times U(1)$ pure gauge theory coupled to Einstein gravity in a compactified background geometry. We construct the solution of an effective abelian Higgs model in terms of dimensional reduction. The solution, however, has a peculiarity in its physically relevant quantity, a deficit angle, which is given as a function of the ratio of the gauge couplings of $SU(2)$ and $U(1)$. The size of the extra space (sphere) is shown to vary with the distance from the axis of the "string".


title: Person Identification with Visual Summary for a Safe Access to a Smart Home

abstract: SafeAccess is an integrated system designed to provide easier and safer access to a smart home for people with or without disabilities. The system is designed to enhance safety and promote the independence of people with disability (i.e., visually impaired). The key functionality of the system includes the detection and identification of human and generating contextual visual summary from the real-time video streams obtained from the cameras placed in strategic locations around the house. In addition, the system classifies human into groups (i.e. friends/families/caregiver versus intruders/burglars/unknown). These features allow the user to grant/deny remote access to the premises or ability to call emergency services. In this paper, we focus on designing a prototype system for the smart home and building a robust recognition engine that meets the system criteria and addresses speed, accuracy, deployment and environmental challenges under a wide variety of practical and real-life situations. To interact with the system, we implemented a dialog enabled interface to create a personalized profile using face images or video of friend/families/caregiver. To improve computational efficiency, we apply change detection to filter out frames and use Faster-RCNN to detect the human presence and extract faces using Multitask Cascaded Convolutional Networks (MTCNN). Subsequently, we apply LBP/FaceNet to identify a person and groups by matching extracted faces with the profile. SafeAccess sends a visual summary to the users with an MMS containing a person's name if any match found or as "Unknown", scene image, facial description, and contextual information. SafeAccess identifies friends/families/caregiver versus intruders/unknown with an average F-score 0.97 and generates a visual summary from 10 classes with an average accuracy of 98.01%.


title: Superconvergence of high order finite difference schemes based on variational formulation for elliptic equations

abstract: The classical continuous finite element method with Lagrangian $Q^k$ basis reduces to a finite difference scheme when all the integrals are replaced by the $(k+1)\times (k+1)$ Gauss-Lobatto quadrature. We prove that this finite difference scheme is $(k+2)$-th order accurate in the discrete 2-norm for an elliptic equation with Dirichlet boundary conditions, which is a superconvergence result of function values.


title: Evidence for CII diffuse line emission at redshift $z\sim2.6$

abstract: CII is one of the brightest emission lines from star-forming galaxies and is an excellent tracer for star formation. Recent work measured the CII emission line amplitude for redshifts $2<z<3.2$ by cross-correlating Planck High Frequency Instrument emission maps with tracers of overdensity from the Baryon Oscillation Spectroscopic Sky Survey, finding $I_{\mathrm{CII}}=6.6^{+5.0}_{-4.8}\times 10^4$ Jy/sr at $95\%$ confidence. In this paper, we present a refinement of this earlier work by improving the mask weighting in each of the Planck bands and the precision in the covariance matrix. We report a detection of excess emission in the 545 GHz Planck band separate from the cosmic infrared background (CIB) present in the 353-857 GHz Planck bands. This excess is consistent with redshifted CII emission, in which case we report $b_{\mathrm{CII}}I_{\mathrm{CII}} =2.0^{+1.2}_{-1.1}\times 10^5$ Jy/sr at $95\%$ confidence, which strongly favors many collisional excitation models of CII emission. Our detection shows strong evidence for a model with a non-zero CII parameter, though line intensity mapping observations at high spectral resolution will be needed to confirm this result.


title: A Reliable Uplink Control Channel Design with Complementary Sequences

abstract: In this study, we propose two schemes for uplink control channels based on non-contiguous complementary sequences (CSs) where the peak-to-average-power ratio (PAPR) of the resulting orthogonal frequency division multiplexing (OFDM) signal is always less than or equal to 3 dB. To obtain the proposed schemes, we extend Golay's concatenation and interleaving methods by considering extra upsampling and shifting parameters. The proposed schemes enable a flexible non-contiguous resource allocation in frequency, e.g., an arbitrary number of null symbols between the occupied resource blocks (RBs). The first scheme separates the PAPR minimization and the inter-cell interference minimization problems. While the former is solved by spreading the sequences in a Golay complementary pair (GCP) with the sequences in another GCP, the latter is managed by designing a set of GCPs with low cross-correlation. The second scheme generates reference symbols (RSs) and data symbols on each RB as parts of an encoded CS. Therefore, it enables coherent detection at the receiver side. The numerical results show that the proposed schemes offer significantly improved PAPR and cubic metric (CM) results in case of non-contiguous resource allocation as compared to the sequences defined in 3GPP New Radio (NR) and Zadoff-Chu (ZC) sequences.


title: Lower Bounds for Matrix Factorization

abstract: We study the problem of constructing explicit families of matrices which cannot be expressed as a product of a few sparse matrices. In addition to being a natural mathematical question on its own, this problem appears in various incarnations in computer science; the most significant being in the context of lower bounds for algebraic circuits which compute linear transformations, matrix rigidity and data structure lower bounds. We first show, for every constant $d$, a deterministic construction in subexponential time of a family $\{M_n\}$ of $n \times n$ matrices which cannot be expressed as a product $M_n = A_1 \cdots A_d$ where the total sparsity of $A_1,\ldots,A_d$ is less than $n^{1+1/(2d)}$. In other words, any depth-$d$ linear circuit computing the linear transformation $M_n\cdot x$ has size at least $n^{1+\Omega(1/d)}$. This improves upon the prior best lower bounds for this problem, which are barely super-linear, and were obtained by a long line of research based on the study of super-concentrators (albeit at the cost of a blow up in the time required to construct these matrices). We then outline an approach for proving improved lower bounds through a certain derandomization problem, and use this approach to prove asymptotically optimal quadratic lower bounds for natural special cases, which generalize many of the common matrix decompositions.


title: Strict entanglement monotonicity under local operations and classical communication

abstract: Entanglement monotone is defined as a convex measure of entanglement that does not increase on average under local operations and classical communication (LOCC). Here we call an entanglement monotone a strict entanglement monotone (SEM) if it decreases strictly on average under LOCC. We show that, for any convex roof extended entanglement monotone that on pure states is given by a function of the reduced states, if the function is strictly concave, then it is a SEM. Moreover, we prove that the negativity and the relative entropy of entanglement, which are not defined by the convex roof structure, are also SEMs. In addition, if the squashed entanglement could be obtained by some optimal extension, then it is a SEM as well. Our results imply that entanglement is strictly decreasing on average under LOCC.


title: Towards Efficient and Unbiased Implementation of Lipschitz Continuity in GANs

abstract: Lipschitz continuity recently becomes popular in generative adversarial networks (GANs). It was observed that the Lipschitz regularized discriminator leads to improved training stability and sample quality. The mainstream implementations of Lipschitz continuity include gradient penalty and spectral normalization. In this paper, we demonstrate that gradient penalty introduces undesired bias, while spectral normalization might be over restrictive. We accordingly propose a new method which is efficient and unbiased. Our experiments verify our analysis and show that the proposed method is able to achieve successful training in various situations where gradient penalty and spectral normalization fail.


title: Dynamic Pricing for Controlling Age of Information

abstract: Fueled by the rapid development of communication networks and sensors in portable devices, today many mobile users are invited by content providers to sense and send back real-time useful information (e.g., traffic observations and sensor data) to keep the freshness of the providers' content updates. However, due to the sampling cost in sensing and transmission, an individual may not have the incentive to contribute the real-time information to help a content provider reduce the age of information (AoI). Accordingly, we propose dynamic pricing for the provider to offer age-dependent monetary returns and encourage users to sample information at different rates over time. This dynamic pricing design problem needs to balance the monetary payments to users and the AoI evolution over time, and is challenging to solve especially under the incomplete information about users' arrivals and their private sampling costs. For analysis tractability, we linearize the nonlinear AoI evolution in the constrained dynamic programming problem, by approximating the dynamic AoI reduction as a time-average term and solving the approximate dynamic pricing in closed-form. Then, we estimate this approximate term based on Brouwer's fixed-point theorem. Finally, we provide the steady-state analysis of the optimized approximate dynamic pricing scheme for an infinite time horizon, and show that the pricing scheme can be further simplified to an e-optimal version without recursive computing over time.


title: Data-Free Learning of Student Networks

abstract: Learning portable neural networks is very essential for computer vision for the purpose that pre-trained heavy deep models can be well applied on edge devices such as mobile phones and micro sensors. Most existing deep neural network compression and speed-up methods are very effective for training compact deep models, when we can directly access the training dataset. However, training data for the given deep network are often unavailable due to some practice problems (e.g. privacy, legal issue, and transmission), and the architecture of the given network are also unknown except some interfaces. To this end, we propose a novel framework for training efficient deep neural networks by exploiting generative adversarial networks (GANs). To be specific, the pre-trained teacher networks are regarded as a fixed discriminator and the generator is utilized for derivating training samples which can obtain the maximum response on the discriminator. Then, an efficient network with smaller model size and computational complexity is trained using the generated data and the teacher network, simultaneously. Efficient student networks learned using the proposed Data-Free Learning (DAFL) method achieve 92.22% and 74.47% accuracies using ResNet-18 without any training data on the CIFAR-10 and CIFAR-100 datasets, respectively. Meanwhile, our student network obtains an 80.56% accuracy on the CelebA benchmark.


title: Entropy and drift for Gibbs measures on geometrically finite manifolds

abstract: We prove a generalization of the fundamental inequality of Guivarc'h relating entropy, drift and critical exponent to Gibbs measures on geometrically finite quotients of CAT(-1) metric spaces. For random walks with finite superexponential moment, we show that the equality is achieved if and only if the Gibbs density is equivalent to the hitting measure. As a corollary, if the action is not convex cocompact, any hitting measure is singular to any Gibbs density.


title: Linear inviscid damping in Gevrey spaces

abstract: We prove linear inviscid damping near a general class of monotone shear flows in a finite channel, in Gevrey spaces. It is an essential step towards proving nonlinear inviscid damping for general shear flows that are not close to the Couette flow, which is a major open problem in 2d Euler equations.


title: Semantics-Guided Neural Networks for Efficient Skeleton-Based Human Action Recognition

abstract: Skeleton-based human action recognition has attracted great interest thanks to the easy accessibility of the human skeleton data. Recently, there is a trend of using very deep feedforward neural networks to model the 3D coordinates of joints without considering the computational efficiency. In this paper, we propose a simple yet effective semantics-guided neural network (SGN) for skeleton-based action recognition. We explicitly introduce the high level semantics of joints (joint type and frame index) into the network to enhance the feature representation capability. In addition, we exploit the relationship of joints hierarchically through two modules, i.e., a joint-level module for modeling the correlations of joints in the same frame and a framelevel module for modeling the dependencies of frames by taking the joints in the same frame as a whole. A strong baseline is proposed to facilitate the study of this field. With an order of magnitude smaller model size than most previous works, SGN achieves the state-of-the-art performance on the NTU60, NTU120, and SYSU datasets. The source code is available at https://github.com/microsoft/SGN.


title: Sharp Decay Estimates in Local Sensitivity Analysis for Evolution Equations with Uncertainties: from ODEs to Linear Kinetic Equations

abstract: We review the Lyapunov functional method for linear ODEs and give an explicit construction of such functionals that yields sharp decay estimates, including an extension to defective ODE systems. As an application, we consider three evolution equations, namely the linear convection-diffusion equation, the two velocity BGK model and the Fokker-Planck equation. Adding an uncertainty parameter to the equations and analyzing its linear sensitivity leads to defective ODE systems. By applying the Lyapunov functional construction, we prove sharp long time behavior of order $(1+t^{M})e^{-\mu t}$, where $M$ is the defect and $\mu$ is the spectral gap of the system. The appearance of the uncertainty parameter in the three applications makes it important to have decay estimates that are uniform in the non-defective limit.


title: Planning with Expectation Models

abstract: Distribution and sample models are two popular model choices in model-based reinforcement learning (MBRL). However, learning these models can be intractable, particularly when the state and action spaces are large. Expectation models, on the other hand, are relatively easier to learn due to their compactness and have also been widely used for deterministic environments. For stochastic environments, it is not obvious how expectation models can be used for planning as they only partially characterize a distribution. In this paper, we propose a sound way of using approximate expectation models for MBRL. In particular, we 1) show that planning with an expectation model is equivalent to planning with a distribution model if the state value function is linear in state features, 2) analyze two common parametrization choices for approximating the expectation: linear and non-linear expectation models, 3) propose a sound model-based policy evaluation algorithm and present its convergence results, and 4) empirically demonstrate the effectiveness of the proposed planning algorithm.


title: Biomechanical modeling and computer simulation of the brain during neurosurgery

abstract: Computational biomechanics of the brain for neurosurgery is an emerging area of research recently gaining in importance and practical applications. This review paper presents the contributions of the Intelligent Systems for Medicine Laboratory and it's collaborators to this field, discussing the modeling approaches adopted and the methods developed for obtaining the numerical solutions. We adopt a physics-based modeling approach, and describe the brain deformation in mechanical terms (such as displacements, strains and stresses), which can be computed using a biomechanical model, by solving a continuum mechanics problem. We present our modeling approaches related to geometry creation, boundary conditions, loading and material properties. From the point of view of solution methods, we advocate the use of fully nonlinear modeling approaches, capable of capturing very large deformations and nonlinear material behavior. We discuss finite element and meshless domain discretization, the use of the Total Lagrangian formulation of continuum mechanics, and explicit time integration for solving both time-accurate and steady state problems. We present the methods developed for handling contacts and for warping 3D medical images using the results of our simulations. We present two examples to showcase these methods: brain shift estimation for image registration and brain deformation computation for neuronavigation in epilepsy treatment.


title: Subdominant modes and optimization trends of DIII-D reverse magnetic shear configurations

abstract: Alfven Eigenmodes and magneto-hydrodynamic modes are destabilized in DIII-D reverse magnetic shear configurations and may limit the performance of the device. We use the reduced MHD equations in a full 3D system, coupled with equations of density and parallel velocity moments for the energetic particles (with gyro-fluid closures) as well as the geodesic acoustic wave dynamics. The aim of the study consists in finding ways to avoid or minimize MHD and AE activity for different magnetic field configurations and neutral beam injection operational regimes. The simulations show at the beginning of the discharge, before the reverse shear region is formed, a plasma that is AE unstable and marginally MHD stable. As soon as the reverse shear region appears, ideal MHD modes are destabilized with a larger growth rate than the AEs. Both MHD modes and AEs coexist during the discharge, although the MHD modes are more unstable as the reverse shear region deepens. The simulations indicate the destabilization of Beta induced AE, Toroidal AE, Elliptical AE and Reverse Shear AE at different phases of the discharges. A further analysis of the NBI operational regime indicates that the AE stability can be improved if the NBI injection is off axis, because on-axis injection leads to AEs with larger growth rate and frequency. In addition, decreasing the beam energy or increasing the NBI relative density leads to AEs with larger growth rate and frequency, so an NBI operation in the weakly resonant regime requires higher beam energies than in the experiment. The MHD linear stability can be also improved if the reverse shear region and the q profile near the magnetic axis are in between the rational surfaces q=2 and q=1, particularly if there is a region in the core with negative shear, avoiding a flat q profile near the magnetic axis.


title: A theory for the slip and drag of superhydrophobic surfaces with surfactant

abstract: Superhydrophobic surfaces (SHSs) have the potential to reduce drag at solid boundaries. However, multiple independent studies have recently shown that small amounts of surfactant, naturally present in the environment, can induce Marangoni forces that increase drag, at least in the laminar regime. To obtain accurate drag predictions, one must solve the mass, momentum, bulk surfactant and interfacial surfactant conservation equations. This requires expensive simulations, thus preventing surfactant from being widely considered in SHS studies. To address this issue, we propose a theory for steady, pressure-driven, laminar, two-dimensional flow in a periodic SHS channel with soluble surfactant. We linearise the coupling between flow and surfactant, under the assumption of small concentration, finding a scaling prediction for the local slip length. To obtain the drag reduction and interfacial shear, we find a series solution for the velocity field by assuming Stokes flow in the bulk and uniform interfacial shear. We find how the slip and drag depend on the nine dimensionless groups that together characterize the surfactant transport near SHSs, the gas fraction and the normalized interface length. Our model agrees with numerical simulations spanning orders of magnitude in each dimensionless group. The simulations also provide the constants in the scaling theory. Our model significantly improves predictions relative to a surfactant-free one, which can otherwise overestimate slip and underestimate drag by several orders of magnitude. Our slip length model can provide the boundary condition in other simulations, thereby accounting for surfactant effects without having to solve the full problem.


title: The polarization of the binary system Spica, and the reflection of light from stars

abstract: Close binary systems often show linear polarization varying over the binary period, usually attributed to light scattered from electrons in circumstellar clouds. One of the brightest close binary systems is Spica (Alpha Virginis) consisting of two B type stars orbiting with a period of just over 4 days. Past observations of Spica have shown low polarization with no evidence for variability. Here we report new high-precision polarization observations of Spica that show variation with an amplitude ~200 parts-per-million (ppm). Using a new modelling approach we show that the phase-dependent polarization is primarily due to reflected light from the primary off the secondary and vice versa. The stars reflect only a few per-cent of the incident light, but the reflected light is very highly polarized. The polarization results show that the binary orbit is clockwise and the position angle of the line of nodes is 130.4 +/- 6.8 degrees in agreement with Intensity Interferometer results. We suggest that reflected light polarization may be much more important in binary systems than has previously been recognized and may be a way of detecting previously unrecognized close binaries.


title: Linear Convergence of Primal-Dual Gradient Methods and their Performance in Distributed Optimization

abstract: In this work, we revisit a classical incremental implementation of the primal-descent dual-ascent gradient method used for the solution of equality constrained optimization problems. We provide a short proof that establishes the linear (exponential) convergence of the algorithm for smooth strongly-convex cost functions and study its relation to the non-incremental implementation. We also study the effect of the augmented Lagrangian penalty term on the performance of distributed optimization algorithms for the minimization of aggregate cost functions over multi-agent networks.


title: Nested Dithered Quantization for Communication Reduction in Distributed Training

abstract: In distributed training, the communication cost due to the transmission of gradients or the parameters of the deep model is a major bottleneck in scaling up the number of processing nodes. To address this issue, we propose \emph{dithered quantization} for the transmission of the stochastic gradients and show that training with \emph{Dithered Quantized Stochastic Gradients (DQSG)} is similar to the training with unquantized SGs perturbed by an independent bounded uniform noise, in contrast to the other quantization methods where the perturbation depends on the gradients and hence, complicating the convergence analysis. We study the convergence of training algorithms using DQSG and the trade off between the number of quantization levels and the training time. Next, we observe that there is a correlation among the SGs computed by workers that can be utilized to further reduce the communication overhead without any performance loss. Hence, we develop a simple yet effective quantization scheme, nested dithered quantized SG (NDQSG), that can reduce the communication significantly \emph{without requiring the workers communicating extra information to each other}. We prove that although NDQSG requires significantly less bits, it can achieve the same quantization variance bound as DQSG. Our simulation results confirm the effectiveness of training using DQSG and NDQSG in reducing the communication bits or the convergence time compared to the existing methods without sacrificing the accuracy of the trained model.


title: C2AE: Class Conditioned Auto-Encoder for Open-set Recognition

abstract: Models trained for classification often assume that all testing classes are known while training. As a result, when presented with an unknown class during testing, such closed-set assumption forces the model to classify it as one of the known classes. However, in a real world scenario, classification models are likely to encounter such examples. Hence, identifying those examples as unknown becomes critical to model performance. A potential solution to overcome this problem lies in a class of learning problems known as open-set recognition. It refers to the problem of identifying the unknown classes during testing, while maintaining performance on the known classes. In this paper, we propose an open-set recognition algorithm using class conditioned auto-encoders with novel training and testing methodology. In contrast to previous methods, training procedure is divided in two sub-tasks, 1. closed-set classification and, 2. open-set identification (i.e. identifying a class as known or unknown). Encoder learns the first task following the closed-set classification training pipeline, whereas decoder learns the second task by reconstructing conditioned on class identity. Furthermore, we model reconstruction errors using the Extreme Value Theory of statistical modeling to find the threshold for identifying known/unknown class samples. Experiments performed on multiple image classification datasets show proposed method performs significantly better than state of the art.


title: Continuous chain-ladder with paid data

abstract: We introduce a continuous-time framework for the prediction of outstanding liabilities, in which chain-ladder development factors arise as a histogram estimator of a cost-weighted hazard function running in reversed development time. We use this formulation to show that under our assumptions on the individual data chain-ladder is consistent. Consistency is understood in the sense that both the number of observed claims grows to infinity and the level of aggregation tends to zero. We propose alternatives to chain-ladder development factors by replacing the histogram estimator with kernel smoothers and by estimating a cost-weighted density instead of a cost-weighted hazard. Finally, we provide a real-data example and a simulation study confirming the strengths of the proposed alternatives.


title: Personalized Cancer Chemotherapy Schedule: a numerical comparison of performance and robustness in model-based and model-free scheduling methodologies

abstract: Reinforcement learning algorithms are gaining popularity in fields in which optimal scheduling is important, and oncology is not an exception. The complex and uncertain dynamics of cancer limit the performance of traditional model-based scheduling strategies like Optimal Control. Motivated by the recent success of model-free Deep Reinforcement Learning (DRL) in challenging control tasks and in the design of medical treatments, we use Deep Q-Network (DQN) and Deep Deterministic Policy Gradient (DDPG) to design a personalized cancer chemotherapy schedule. We show that both of them succeed in the task and outperform the Optimal Control solution in the presence of uncertainty. Furthermore, we show that DDPG can exterminate cancer more efficiently than DQN presumably due to its continuous action space. Finally, we provide some insight regarding the amount of samples required for the training.


title: Habitat: A Platform for Embodied AI Research

abstract: We present Habitat, a platform for research in embodied artificial intelligence (AI). Habitat enables training embodied agents (virtual robots) in highly efficient photorealistic 3D simulation. Specifically, Habitat consists of: (i) Habitat-Sim: a flexible, high-performance 3D simulator with configurable agents, sensors, and generic 3D dataset handling. Habitat-Sim is fast -- when rendering a scene from Matterport3D, it achieves several thousand frames per second (fps) running single-threaded, and can reach over 10,000 fps multi-process on a single GPU. (ii) Habitat-API: a modular high-level library for end-to-end development of embodied AI algorithms -- defining tasks (e.g., navigation, instruction following, question answering), configuring, training, and benchmarking embodied agents. These large-scale engineering contributions enable us to answer scientific questions requiring experiments that were till now impracticable or 'merely' impractical. Specifically, in the context of point-goal navigation: (1) we revisit the comparison between learning and SLAM approaches from two recent works and find evidence for the opposite conclusion -- that learning outperforms SLAM if scaled to an order of magnitude more experience than previous investigations, and (2) we conduct the first cross-dataset generalization experiments {train, test} x {Matterport3D, Gibson} for multiple sensors {blind, RGB, RGBD, D} and find that only agents with depth (D) sensors generalize across datasets. We hope that our open-source platform and these findings will advance research in embodied AI.


title: Non-Smooth Backfitting for Excess Risk Additive Regression Model with Two Survival Time-Scales

abstract: We present a new backfitting algorithm estimating the complex structured non-parametric survival model of Scheike (2001) without having to use smoothing. The considered model is a non-parametric survival model with two time-scales that are equivalent up to a constant that varies over the subjects. Covariate effects are modelled linearly on each time scale by additive Aalen models. Estimators of the cumulative intensities on the two time-scales are suggested by solving local estimating equations jointly on the two time-scales. We are able to estimate the cumulative intensities solving backfitting estimating equations without using smoothing methods and we provide large sample properties and simultaneous confidence bands. The model is applied to data on myocardial infarction providing a separation of the two effects stemming from time since diagnosis and age.


title: On the Analysis of the Revocable-Storage Identity-Based Encryption Scheme

abstract: Cloud computing can provide a flexible way to effectively share data among multiple users since it can overcome the time and location constraints of computing resource usage. However, the users of cloud computing are still reluctant to share sensitive data to a cloud server since the cloud server should be treated as an untrusted entity. In order to support secure and efficient data sharing in cloud computing environment, Wei et al. recently extended the concept of identity-based encryption (IBE) to support key revocation and ciphertext update functionalities, and proposed a revocable-storage identity-based encryption (RS-IBE) scheme. In this paper, we show that the RS-IBE scheme of Wei et al. does not satisfy the correctness property of RS-IBE. In addition, we propose a method to modify the existing RS-IBE scheme to be a correct and secure scheme.


title: Finite 2-arc-transitive strongly regular graphs and 3-geodesic-transitive graphs

abstract: We classify all the $2$-arc-transitive strongly regular graphs, and use this classification to study the family of finite $(G,3)$-geodesic-transitive graphs of girth $4$ or $5$ for some group $G$ of automorphisms. For this application we first give a reduction result on the latter family of graphs: let $N$ be a normal subgroup of $G$ which has at least $3$ orbits on vertices. We show that $\Gamma$ is a cover of its quotient $\Gamma_N$ modulo the $N$-orbits, and that either $\Gamma_N$ is $(G/N,3)$-geodesic-transitive of the same girth as $\Gamma$, or $\Gamma_N$ is a $(G/N,2)$-arc-transitive strongly regular graph, or $\Gamma_N$ is a complete graph with $G/N$ acting 3-transitively on vertices. The classification of $2$-arc-transitive strongly regular graphs allows us to characterise the $(G,3)$-geodesic-transitive covers $\Gamma$ when $\Gamma_N$ is complete or strongly regular.


title: Peak Alignment of Gas Chromatography-Mass Spectrometry Data with Deep Learning

abstract: We present ChromAlignNet, a deep learning model for alignment of peaks in Gas Chromatography-Mass Spectrometry (GC-MS) data. In GC-MS data, a compound's retention time (RT) may not stay fixed across multiple chromatograms. To use GC-MS data for biomarker discovery requires alignment of identical analyte's RT from different samples. Current methods of alignment are all based on a set of formal, mathematical rules. We present a solution to GC-MS alignment using deep learning neural networks, which are more adept at complex, fuzzy data sets. We tested our model on several GC-MS data sets of various complexities and analysed the alignment results quantitatively. We show the model has very good performance (AUC $\sim 1$ for simple data sets and AUC $\sim 0.85$ for very complex data sets). Further, our model easily outperforms existing algorithms on complex data sets. Compared with existing methods, ChromAlignNet is very easy to use as it requires no user input of reference chromatograms and parameters. This method can easily be adapted to other similar data such as those from liquid chromatography. The source code is written in Python and available online.