title: Generative Adversarial Networks and Perceptual Losses for Video Super-Resolution

abstract: Video super-resolution (VSR) has become one of the most critical problems in video processing. In the deep learning literature, recent works have shown the benefits of using adversarial-based and perceptual losses to improve the performance on various image restoration tasks; however, these have yet to be applied for video super-resolution. In this work, we propose a Generative Adversarial Network(GAN)-based formulation for VSR. We introduce a new generator network optimized for the VSR problem, named VSRResNet, along with a new discriminator architecture to properly guide VSRResNet during the GAN training. We further enhance our VSR GAN formulation with two regularizers, a distance loss in feature-space and pixel-space, to obtain our final VSRResFeatGAN model. We show that pre-training our generator with the Mean-Squared-Error loss only quantitatively surpasses the current state-of-the-art VSR models. Finally, we employ the PercepDist metric (Zhang et al., 2018) to compare state-of-the-art VSR models. We show that this metric more accurately evaluates the perceptual quality of SR solutions obtained from neural networks, compared with the commonly used PSNR/SSIM metrics. Finally, we show that our proposed model, the VSRResFeatGAN model, outperforms current state-of-the-art SR models, both quantitatively and qualitatively.


title: Accurate and Robust Localization Techniques for Wireless Sensor Networks

abstract: The report focuses on three areas in particular: the first is the Received Signal Strength indicator technique, Direction of Arrival technique, and the integration of two algorithms, RSS and DOA, in order to build a hybrid, more robust algorithms. In the Received Signal Strength (RSS), the unknown node location is estimated using trilateration. This report examines the performance of different estimators such as Least Square, Weighted Least Square, and Huber robustness in order to obtain the most robust performance. In the direction of arrival (DOA) method, the estimation is carried out using Multiple Signal Classification (MUSIC), Root-MUSIC, and Estimation of Signal Parameters Via Rotational Invariance Technique (ESPRIT) algorithms. We investigate multiple signal scenarios utilizing various antenna geometries, which includes uniform linear array (ULA) and uniform circular array (UCA). Specific attention is given for multipath scenarios in which signals become spatially correlated (or coherent). This required the use of pre-processing techniques, which include phase mode excitation (PME), spatial smoothing (SS), and Toeplitz. Further improvements of existing localization techniques are demonstrated through the use of a hybrid approach in which various combinations of RSS and DOA are explored, simulated, and analyzed. This has led to two major contributions: the first contribution is a combined RSS/DOA method, based on UCA, which has the tolerance of detecting both uncorrelated and coherent signals simultaneously. The second major contribution is a combined Root-MUSIC/Toepltiz method, based on UCA, which is outperforms other techniques in terms of increased number of detected signals and reduced computationally load.


title: PADS: Practical Attestation for Highly Dynamic Swarm Topologies

abstract: Remote attestation protocols are widely used to detect device configuration (e.g., software and/or data) compromise in Internet of Things (IoT) scenarios. Unfortunately, the performances of such protocols are unsatisfactory when dealing with thousands of smart devices. Recently, researchers are focusing on addressing this limitation. The approach is to run attestation in a collective way, with the goal of reducing computation and communication. Despite these advances, current solutions for attestation are still unsatisfactory because of their complex management and strict assumptions concerning the topology (e.g., being time invariant or maintaining a fixed topology). In this paper, we propose PADS, a secure, efficient, and practical protocol for attesting potentially large networks of smart devices with unstructured or dynamic topologies. PADS builds upon the recent concept of non-interactive attestation, by reducing the collective attestation problem into a minimum consensus one. We compare PADS with a state-of-the art collective attestation protocol and validate it by using realistic simulations that show practicality and efficiency. The results confirm the suitability of PADS for low-end devices, and highly unstructured networks.


title: Motion Planning Networks

abstract: Fast and efficient motion planning algorithms are crucial for many state-of-the-art robotics applications such as self-driving cars. Existing motion planning methods become ineffective as their computational complexity increases exponentially with the dimensionality of the motion planning problem. To address this issue, we present Motion Planning Networks (MPNet), a neural network-based novel planning algorithm. The proposed method encodes the given workspaces directly from a point cloud measurement and generates the end-to-end collision-free paths for the given start and goal configurations. We evaluate MPNet on various 2D and 3D environments including the planning of a 7 DOF Baxter robot manipulator. The results show that MPNet is not only consistently computationally efficient in all environments but also generalizes to completely unseen environments. The results also show that the computation time of MPNet consistently remains less than 1 second in all presented experiments, which is significantly lower than existing state-of-the-art motion planning algorithms.


title: Hardware Trojan Attacks on Neural Networks

abstract: With the rising popularity of machine learning and the ever increasing demand for computational power, there is a growing need for hardware optimized implementations of neural networks and other machine learning models. As the technology evolves, it is also plausible that machine learning or artificial intelligence will soon become consumer electronic products and military equipment, in the form of well-trained models. Unfortunately, the modern fabless business model of manufacturing hardware, while economic, leads to deficiencies in security through the supply chain. In this paper, we illuminate these security issues by introducing hardware Trojan attacks on neural networks, expanding the current taxonomy of neural network security to incorporate attacks of this nature. To aid in this, we develop a novel framework for inserting malicious hardware Trojans in the implementation of a neural network classifier. We evaluate the capabilities of the adversary in this setting by implementing the attack algorithm on convolutional neural networks while controlling a variety of parameters available to the adversary. Our experimental results show that the proposed algorithm could effectively classify a selected input trigger as a specified class on the MNIST dataset by injecting hardware Trojans into $0.03\%$, on average, of neurons in the 5th hidden layer of arbitrary 7-layer convolutional neural networks, while undetectable under the test data. Finally, we discuss the potential defenses to protect neural networks against hardware Trojan attacks.


title: Bayesian Uncertainty Quantification and Information Fusion in CALPHAD-based Thermodynamic Modeling

abstract: Calculation of phase diagrams is one of the fundamental tools in alloy design---more specifically under the framework of Integrated Computational Materials Engineering. Uncertainty quantification of phase diagrams is the first step required to provide confidence for decision making in property- or performance-based design. As a manner of illustration, a thorough probabilistic assessment of the CALPHAD model parameters is performed against the available data for a Hf-Si binary case study using a Markov Chain Monte Carlo sampling approach. The plausible optimum values and uncertainties of the parameters are thus obtained, which can be propagated to the resulting phase diagram. Using the parameter values obtained from deterministic optimization in a computational thermodynamic assessment tool (in this case Thermo-Calc) as the prior information for the parameter values and ranges in the sampling process is often necessary to achieve a reasonable cost for uncertainty quantification. This brings up the problem of finding an appropriate CALPHAD model with high-level of confidence which is a very hard and costly task that requires considerable expert skill. A Bayesian hypothesis testing based on Bayes' factors is proposed to fulfill the need of model selection in this case, which is applied to compare four recommended models for the Hf-Si system. However, it is demonstrated that information fusion approaches, i.e., Bayesian model averaging and an error correlation-based model fusion, can be used to combine the useful information existing in all the given models rather than just using the best selected model, which may lack some information about the system being modelled.


title: Role of ion migrations and structural reorganisations in femtosecond laser direct-written chalcogenide glass waveguides

abstract: Formation of femtosecond laser direct-written positive refractive index waveguides in Gallium Lanthanum Sulphide (GLS) glass is explained for the first time. Evidence of structural changes and ion migration are presented using Raman spectroscopy and electron probe microanalysis (EPMA), respectively. 2-D Raman spectra maps reveal a peak shift and full-width at half maximum variations in the symmetric vibrations of GaS4 main band. For the first time, the 2D map of the boson band was successfully used to identify and understand the material densification profile in a high refractive index glass waveguide. Finally EPMA provided the evidence of ion migration due to sulphur and the observation of an anion (S2-) migration causing material modification is also reported for the first time.


title: The Voisin map via families of extensions

abstract: We prove that given a cubic fourfold $Y$ not containing any plane, the Voisin map $v: F(Y)\times F(Y) \dashrightarrow Z(Y)$ constructed in \cite{Voi}, where $F(Y)$ is the variety of lines and $Z(Y)$ is the Lehn-Lehn-Sorger-van Straten eightfold, can be resolved by blowing up the incident locus $\Gamma \subset F(Y)\times F(Y)$ endowed with the reduced scheme structure. Moreover, if $Y$ is very general, then this blowup is a relative Quot scheme over $Z(Y)$ parametrizing quotients in a heart of a Kuznetsov component of $Y.$


title: Network analysis of synthesizable materials discovery

abstract: Assessing the synthesizability of inorganic materials is a grand challenge for accelerating their discovery using computations. Synthesis of a material is a complex process that depends not only on its thermodynamic stability with respect to others, but also on factors from kinetics, to advances in synthesis techniques, to the availability of precursors. This complexity makes the development of a general theory or first-principles approach to synthesizability currently impractical. Here we show how an alternative pathway to predicting synthesizability emerges from the dynamics of the materials stability network: a scale-free network constructed by combining the convex free-energy surface of inorganic materials computed by high-throughput density functional theory and their experimental discovery timelines extracted from citations. The time-evolution of the underlying network properties allows us to use machine-learning to predict the likelihood that hypothetical, computer-generated materials will be amenable to successful experimental synthesis.


title: Notes on derivation of streamline fields using artificial neural networks for automatic simulation of material forming processes

abstract: Here I introduce an automatic approach to determine the material flow patterns during deformation process using artificial neural networks (ANN). Since deriving and calibrating complex mathematical models for prediction of power requirements in each individual deformation process is inconvenient, the generality of using streamline field method has been limited. I propose an automatic approach to build and calibrate streamlines with ANN. The coordinates of specific points within the deformation region were used as input and the stream function values on the points were used as output dataset in ANN training algorithm. A specific neural network architecture was then implemented to predict the flow patterns of the deforming body by an ANN-based streamline equation. At the next step, the upper bound theorem was incorporated to estimate the force and power requirements for equal channel angular extrusion (ECAE) of a composite system under hot deformation. For verification of the results, a finite element software was utilized in parallel to investigate the accuracy of the proposed approach for estimation of force requirements. The predicted force requirements under various temperature ranges with ANN based technique were consistent with that of the finite element predictions which demonstrates the accuracy of the proposed approach. The proposed approach may be appropriate for fast simulation of a wide range of steady state material forming processes.


title: Kubo formulas for thermodynamic transport coefficients

abstract: Uncharged relativistic fluids in 3+1 dimensions have three independent thermodynamic transport coefficients at second order in the derivative expansion. Fluids with a single global $U(1)$ current have nine, out of which seven are parity preserving. We derive the Kubo formulas for all nine thermodynamic transport coefficients in terms of equilibrium correlation functions of the energy-momentum tensor and the current. All parity-preserving coefficients can be expressed in terms of two-point functions in flat space without external sources, while the parity-violating coefficients require three-point functions. We use the Kubo formulas to compute the thermodynamic coefficients in several examples of free field theories.


title: Electron-Phonon Scattering in the Presence of Soft Modes and Electron Mobility in SrTiO$_{3}$ Perovskite from First Principles

abstract: Structural phase transitions and soft phonon modes pose a longstanding challenge to computing electron-phonon (e-ph) interactions in strongly anharmonic crystals. Here we develop a first-principles approach to compute e-ph scattering and charge transport in materials with anharmonic lattice dynamics. Our approach employs renormalized phonons to compute the temperature-dependent e-ph coupling for all phonon modes, including the soft modes associated with ferroelectricity and phase transitions. We show that the electron mobility in cubic SrTiO$_{3}$ is controlled by scattering with longitudinal optical phonons at room temperature and with ferroelectric soft phonons below 200~K. Our calculations can accurately predict the temperature dependence of the electron mobility in SrTiO$_{3}$ between 150$-$300~K, and reveal the microscopic origin of its roughly $T^{-3}$ trend. Our approach enables first-principles calculations of e-ph interactions and charge transport in broad classes of crystals with phase transitions and strongly anharmonic phonons.


title: Tiny Codes for Guaranteeable Delay

abstract: Future 5G systems will need to support ultra-reliable low-latency communications scenarios. From a latency-reliability viewpoint, it is inefficient to rely on average utility-based system design. Therefore, we introduce the notion of guaranteeable delay which is the average delay plus three standard deviations of the mean. We investigate the trade-off between guaranteeable delay and throughput for point-to-point wireless erasure links with unreliable and delayed feedback, by bringing together signal flow techniques to the area of coding. We use tiny codes, i.e. sliding window by coding with just 2 packets, and design three variations of selective-repeat ARQ protocols, by building on the baseline scheme, i.e. uncoded ARQ, developed by Ausavapattanakun and Nosratinia: (i) Hybrid ARQ with soft combining at the receiver; (ii) cumulative feedback-based ARQ without rate adaptation; and (iii) Coded ARQ with rate adaptation based on the cumulative feedback. Contrasting the performance of these protocols with uncoded ARQ, we demonstrate that HARQ performs only slightly better, cumulative feedback-based ARQ does not provide significant throughput while it has better average delay, and Coded ARQ can provide gains up to about 40% in terms of throughput. Coded ARQ also provides delay guarantees, and is robust to various challenges such as imperfect and delayed feedback, burst erasures, and round-trip time fluctuations. This feature may be preferable for meeting the strict end-to-end latency and reliability requirements of future use cases of ultra-reliable low-latency communications in 5G, such as mission-critical communications and industrial control for critical control messaging.


title: The category $\big[{\mathcal T}^c\big]^{\text{op}}$ as functors on ${\mathcal T}^b_c$

abstract: We revisit an old assertion due to Rouquier, characterizing the perfect complexes as bounded homological functors on the bounded complexes of coherent sheaves. The new results vastly generalize the old statement---first of all the ground ring is not restricted to be a field, any commutative, noetherian ring will do. But the generalization goes further, to the abstract world of approximable triangulated categories.


title: Homogenization for the cubic nonlinear Schr\"odinger equation on $\mathbb R^2$

abstract: We study the defocusing inhomogeneous mass-critical nonlinear Schr\"odinger equation on $\mathbb R^2$ $$i u_t +\Delta u=g(nx) |u|^2 u$$ for initial data in $L^2(\mathbb R^2)$. We obtain sufficient conditions on $g$ to ensure existence and uniqueness of global solutions for $n$ sufficiently large, as well as homogenization.


title: Deep Learning Approximation: Zero-Shot Neural Network Speedup

abstract: Neural networks offer high-accuracy solutions to a range of problems, but are costly to run in production systems because of computational and memory requirements during a forward pass. Given a trained network, we propose a techique called Deep Learning Approximation to build a faster network in a tiny fraction of the time required for training by only manipulating the network structure and coefficients without requiring re-training or access to the training data. Speedup is achieved by by applying a sequential series of independent optimizations that reduce the floating-point operations (FLOPs) required to perform a forward pass. First, lossless optimizations are applied, followed by lossy approximations using singular value decomposition (SVD) and low-rank matrix decomposition. The optimal approximation is chosen by weighing the relative accuracy loss and FLOP reduction according to a single parameter specified by the user. On PASCAL VOC 2007 with the YOLO network, we show an end-to-end 2x speedup in a network forward pass with a 5% drop in mAP that can be re-gained by finetuning.


title: Surprising Negative Results for Generative Adversarial Tree Search

abstract: While many recent advances in deep reinforcement learning (RL) rely on model-free methods, model-based approaches remain an alluring prospect for their potential to exploit unsupervised data to learn environment model. In this work, we provide an extensive study on the design of deep generative models for RL environments and propose a sample efficient and robust method to learn the model of Atari environments. We deploy this model and propose generative adversarial tree search (GATS) a deep RL algorithm that learns the environment model and implements Monte Carlo tree search (MCTS) on the learned model for planning. While MCTS on the learned model is computationally expensive, similar to AlphaGo, GATS follows depth limited MCTS. GATS employs deep Q network (DQN) and learns a Q-function to assign values to the leaves of the tree in MCTS. We theoretical analyze GATS vis-a-vis the bias-variance trade-off and show GATS is able to mitigate the worst-case error in the Q-estimate. While we were expecting GATS to enjoy a better sample complexity and faster converges to better policies, surprisingly, GATS fails to outperform DQN. We provide a study on which we show why depth limited MCTS fails to perform desirably.


title: A Survey of Automatic Facial Micro-expression Analysis: Databases, Methods and Challenges

abstract: Over the last few years, automatic facial micro-expression analysis has garnered increasing attention from experts across different disciplines because of its potential applications in various fields such as clinical diagnosis, forensic investigation and security systems. Advances in computer algorithms and video acquisition technology have rendered machine analysis of facial micro-expressions possible today, in contrast to decades ago when it was primarily the domain of psychiatrists where analysis was largely manual. Indeed, although the study of facial micro-expressions is a well-established field in psychology, it is still relatively new from the computational perspective with many interesting problems. In this survey, we present a comprehensive review of state-of-the-art databases and methods for micro-expressions spotting and recognition. Individual stages involved in the automation of these tasks are also described and reviewed at length. In addition, we also deliberate on the challenges and future directions in this growing field of automatic facial micro-expression analysis.


title: Constrained quantum annealing of graph coloring

abstract: We investigate a quantum annealing approach based on real-time quantum dynamics for graph coloring. In this approach, a driving Hamiltonian is chosen so that constraints are naturally satisfied without penalty terms, and the dimension of the Hilbert space is considerably reduced. The total Hamiltonian, which consists of driving and problem Hamiltonians, resembles a disordered quantum spin chain. The ground state of the problem Hamiltonian for graph coloring is degenerate. This degeneracy is advantageous and is characteristic of this approach. Real-time quantum simulations in a small system demonstrate interesting results and provide some insight into quantum annealing.


title: Will TCP work in mmWave 5G Cellular Networks?

abstract: The vast available spectrum in the millimeter wave (mmWave) bands offers the possibility of multi-Gbps data rates for fifth generation (5G) cellular networks. However, mmWave capacity can be highly intermittent due to the vulnerability of mmWave signals to blockages and delays in directional searching. Such highly variable links present unique challenges for adaptive control mechanisms in transport layer protocols and end-to-end applications. This paper considers the fundamental question of whether TCP - the most widely used transport protocol - will work in mmWave cellular systems. The paper provides a comprehensive simulation study of TCP considering various factors such as the congestion control algorithm, including the recently proposed TCP BBR, edge vs. remote servers, handover and multi- connectivity, TCP packet size and 3GPP-stack parameters. We show that the performance of TCP on mmWave links is highly dependent on different combinations of these parameters, and identify the open challenges in this area.


title: Accreting magnetars: linking ultraluminous X-ray pulsars and the slow pulsation X-ray pulsars

abstract: Possible manifestations of accreting magnetars are discussed. It is shown that the four ultra-luminous X-ray pulsars can be understood in the accreting low magnetic field magnetar scenario. The NGC300 ULX1 pulsar may have a higher dipole magnetic field than other sources. General constraint on their mass accretion rate confirmed their super-Eddington nature. Lower limits on their beaming factor are obtained. They do not seem to have strong beaming. The duty cycle of the ULX burst state can also be constrained by their timing observations. ULX pulsars may be in accretion equilibrium in the long run. During the outburst, they will spin up, and run from the previous equilibrium state to the new equilibrium state. It is proposed that the slowest puslation X-ray pulsar AX J1910.7+0917 may be an accreting magnetar with a low mass accretion rate. ULX pulsars, slow pulsation X-ray pulsars may all be accreting magnetars with different accretion rates. Seven possible signatures of an accreting magnetar are summarized.


title: A Comparative Study of Cohesive Zone Models for Predicting Delamination Behaviors of Arterial Wall

abstract: Arterial tissue delamination, manifested as the failure between arterial layers, is a critical process in the rupture of atherosclerotic plaque, leading to potential life-threatening clinical consequences. Numerous models have been used to characterize the arterial tissue delamination. Few has investigated the effect of Cohesive Zone Model (CZM) shapes on predicting the delamination behavior of the arterial wall. In this study, four types of cohesive zone models (triangular, trapezoidal, linear-exponential and exponential-linear) were investigated to compare their predictability of the arterial wall failure. The Holzapfel-Gasser-Ogden (HGO) model was adopted for modelling the mechanical behavior of the aortic bulk material. The simulation results using CZM on the aortic media delamination were also compared with the results on mouse plaque delamination and human fibrous cap delamination. The results show that: 1) the simulation results based on the four shapes of CZMs match well with the experimental results, 2) the triangular and exponential-linear CZMs are in good agreement with the experimental force-displacement curves of mouse plaque delamination, 3) considering the viscoelastic effect of the arterial tissue, the triangular and exponential-linear CZMs match well with the experimental force-displacement curves of human fibrous cap delamination. Thus, triangular and exponential-linear CZMs can capture the arterial tissue failure response well.


title: The circumgalactic medium of eBOSS emission line galaxies: signatures of galactic outflows in gas distribution and kinematics

abstract: We study the distribution and kinematics of the cool circumgalactic medium (CGM) of emission line galaxies (ELGs) traced by metal absorption lines. Using about 200,000 ELGs from SDSS-IV eBOSS and half a million background quasars from SDSS, we measure the median absorption strength of MgII and FeII lines in quasar spectra for impact parameters ranging from 10 kpc to 1 Mpc. For comparison we measure the same quantity around luminous red galaxies (LRGs). On scales greater than 100 kpc both ELGs and LRGs exhibit similar absorption profiles. However, metal absorption is 5-10 times stronger around ELGs on smaller scales. The metal absorption strength is anisotropic, with an excess along the minor-axis of the galaxies, indicating an outflow origin of the absorbing gas. The ratio between the velocity dispersion of the cool CGM and that of its host dark matter halo is about one for ELGs but about half for LRGs. These results show that the dichotomy of galaxy types is reflected in both the density distribution and kinematics of the CGM traced by metal absorption lines. Our results provide strong evidence that the CGM of ELGs is enriched by gas outflows generated by star formation.


title: The elliptic modular surface of level 4 and its reduction modulo 3

abstract: The elliptic modular surface of level 4 is a complex K3 surface with Picard number 20. This surface has a model over a number field such that its reduction modulo 3 yields a surface isomorphic to the Fermat quartic surface in characteristic 3, which is supersingular. The specialization induces an embedding of the N\'eron-Severi lattices. Using this embedding, we determine the automorphism group of this K3 surface over a discrete valuation ring of mixed characteristic whose residue field is of characteristic 3. The elliptic modular surface of level 4 has a fixed-point free involution that gives rise to the Enriques surface of type IV in Nikulin-Kondo-Martin's classification of Enriques surfaces with finite automorphism group. We investigate the specialization of this involution to characteristic 3.


title: A multigrid correction scheme for a new Steklov eigenvalue problem in inverse scattering

abstract: We propose a multigrid correction scheme to solve a new Steklov eigenvalue problem in inverse scattering. With this scheme, solving an eigenvalue problem in a fine finite element space is reduced to solve a series of boundary value problems in fine finite element spaces and a series of eigenvalue problems in the coarsest finite element space. And the coefficient matrices associated with those linear systems are constructed to be symmetric and positive definite. We prove error estimates of eigenvalues and eigenfunctions. Numerical results coincide in theoretical analysis and indicate our scheme is highly efficient in solving the eigenvalue problem.


title: Image classification and retrieval with random depthwise signed convolutional neural networks

abstract: We propose a random convolutional neural network to generate a feature space in which we study image classification and retrieval performance. Put briefly we apply random convolutional blocks followed by global average pooling to generate a new feature, and we repeat this k times to produce a k-dimensional feature space. This can be interpreted as partitioning the space of image patches with random hyperplanes which we formalize as a random depthwise convolutional neural network. In the network's final layer we perform image classification and retrieval with the linear support vector machine and k-nearest neighbor classifiers and study other empirical properties. We show that the ratio of image pixel distribution similarity across classes to within classes is higher in our network's final layer compared to the input space. When we apply the linear support vector machine for image classification we see that the accuracy is higher than if we were to train just the final layer of VGG16, ResNet18, and DenseNet40 with random weights. In the same setting we compare it to an unsupervised feature learning method and find our accuracy to be comparable on CIFAR10 but higher on CIFAR100 and STL10. We see that the accuracy is not far behind that of trained networks, particularly in the top-k setting. For example the top-2 accuracy of our network is near 90% on both CIFAR10 and a 10-class mini ImageNet, and 85% on STL10. We find that k-nearest neighbor gives a comparable precision on the Corel Princeton Image Similarity Benchmark than if we were to use the final layer of trained networks. As with other networks we find that our network fails to a black box attack even though we lack a gradient and use the sign activation. We highlight sensitivity of our network to background as a potential pitfall and an advantage. Overall our work pushes the boundary of what can be achieved with random weights.


title: A mathematical model for chemoimmunotherapy of chronic lymphocytic leukemia

abstract: Immunotherapy is currently regarded as the most promising treatment to fight against cancer. This is particularly true in the treatment of chronic lymphocytic leukemia, an indolent neoplastic disease of B-lymphocytes which eventually causes the immune system's failure. In this and other areas of cancer research, mathematical modeling is pointed out as a prominent tool to analyze theoretical and practical issues. Its lack in studies of chemoimmunotherapy of chronic lymphocytic leukemia is what motivates us to come up with a simple ordinary differential equation model. It is based on ideas of de Pillis & Radunskaya and on standard pharmacokinetics-pharmacodynamics assumptions. In order to check the positivity of the state variables, we first establish an invariant region where these time-dependent variables remain positive. Afterwards, the action of the immune system, as well as the chemoimmunotherapeutic role in promoting cancer cure are investigated by means of numerical simulations and the classical linear stability analysis. The role of adoptive cellular immunotherapy is also addressed. Our overall conclusion is that chemoimmunotherapeutic protocols can be effective in treating chronic lymphocytic leukemia provided that chemotherapy is not a limiting factor to the immunotherapy efficacy.


title: Monaural source enhancement maximizing source-to-distortion ratio via automatic differentiation

abstract: Recently, deep neural network (DNN) has made a breakthrough in monaural source enhancement. Through a training step by using a large amount of data, DNN estimates a mapping between mixed signals and clean signals. At this time, we use an objective function that numerically expresses the quality of a mapping by DNN. In the conventional methods, L1 norm, L2 norm, and Itakura-Saito divergence are often used as objective functions. Recently, an objective function based on short-time objective intelligibility (STOI) has also been proposed. However, these functions only indicate similarity between the clean signal and the estimated signal by DNN. In other words, they do not show the quality of noise reduction or source enhancement. Motivated by the fact, this paper adopts signal-to-distortion ratio (SDR) as the objective function. Since SDR virtually shows signal-to-noise ratio (SNR), maximizing SDR solves the above problem. The experimental results revealed that the proposed method achieved better performance than the conventional methods.


title: Global identifiability of low regularity fluid parameters in acoustic tomography of moving fluid

abstract: We are concerned with inverse boundary problems for first order perturbations of the Laplacian, which arise as model operators in the acoustic tomography of a moving fluid. We show that the knowledge of the Dirichlet--to--Neumann map on the boundary of a bounded domain in $\mathbb{R}^n$, $n\ge 3$, determines the first order perturbation of low regularity up to a natural gauge transformation, which sometimes is trivial. As an application, we recover the fluid parameters of low regularity from boundary measurements, sharpening the regularity assumptions in the recent results of [1] and [3]. In particular, we allow some fluid parameters to be discontinuous.


title: Recurrent Multiresolution Convolutional Networks for VHR Image Classification

abstract: Classification of very high resolution (VHR) satellite images has three major challenges: 1) inherent low intra-class and high inter-class spectral similarities, 2) mismatching resolution of available bands, and 3) the need to regularize noisy classification maps. Conventional methods have addressed these challenges by adopting separate stages of image fusion, feature extraction, and post-classification map regularization. These processing stages, however, are not jointly optimizing the classification task at hand. In this study, we propose a single-stage framework embedding the processing stages in a recurrent multiresolution convolutional network trained in an end-to-end manner. The feedforward version of the network, called FuseNet, aims to match the resolution of the panchromatic and multispectral bands in a VHR image using convolutional layers with corresponding downsampling and upsampling operations. Contextual label information is incorporated into FuseNet by means of a recurrent version called ReuseNet. We compared FuseNet and ReuseNet against the use of separate processing steps for both image fusion, e.g. pansharpening and resampling through interpolation, and map regularization such as conditional random fields. We carried out our experiments on a land cover classification task using a Worldview-03 image of Quezon City, Philippines and the ISPRS 2D semantic labeling benchmark dataset of Vaihingen, Germany. FuseNet and ReuseNet surpass the baseline approaches in both quantitative and qualitative results.


title: RAPIDNN: In-Memory Deep Neural Network Acceleration Framework

abstract: Deep neural networks (DNN) have demonstrated effectiveness for various applications such as image processing, video segmentation, and speech recognition. Running state-of-the-art DNNs on current systems mostly relies on either generalpurpose processors, ASIC designs, or FPGA accelerators, all of which suffer from data movements due to the limited onchip memory and data transfer bandwidth. In this work, we propose a novel framework, called RAPIDNN, which processes all DNN operations within the memory to minimize the cost of data movement. To enable in-memory processing, RAPIDNN reinterprets a DNN model and maps it into a specialized accelerator, which is designed using non-volatile memory blocks that model four fundamental DNN operations, i.e., multiplication, addition, activation functions, and pooling. The framework extracts representative operands of a DNN model, e.g., weights and input values, using clustering methods to optimize the model for in-memory processing. Then, it maps the extracted operands and their precomputed results into the accelerator memory blocks. At runtime, the accelerator identifies computation results based on efficient in-memory search capability which also provides tunability of approximation to further improve computation efficiency. Our evaluation shows that RAPIDNN achieves 68.4x, 49.5x energy efficiency improvement and 48.1x, 10.9x speedup as compared to ISAAC and PipeLayer, the state-of-the-art DNN accelerators, while ensuring less than 0.3% of quality loss.


title: Effective dynamics of the Schwarzschild black hole interior with inverse triad corrections

abstract: We reconsider the study of the interior of the Schwarzschild black hole now including inverse triad quantum corrections within loop quantization. We derive these corrections and show that they are are related to two parameters $\delta_b, \delta_c$ associated to the minimum length in the radial and angular directions, that enter Thiemann's trick for quantum inverse triads. Introduction of such corrections may lead to non-invariance of physical results under rescaling of the fiducial volume needed to compute the dynamics, due to noncompact topology of the model. So, we put forward two prescriptions to resolve this issue. These prescriptions amount to interchange $\delta_b, \delta_c$ in classical computations in Thiemann's trick. By implementing the inverse triad corrections we found, previous results such as singularity resolution and black-to-white hole bounce hold with different values for the minimum radius-at-bounce, and the mass of the white hole.


title: Deep Learning with Convolutional Neural Network for Objective Skill Evaluation in Robot-assisted Surgery

abstract: With the advent of robot-assisted surgery, the role of data-driven approaches to integrate statistics and machine learning is growing rapidly with prominent interests in objective surgical skill assessment. However, most existing work requires translating robot motion kinematics into intermediate features or gesture segments that are expensive to extract, lack efficiency, and require significant domain-specific knowledge. We propose an analytical deep learning framework for skill assessment in surgical training. A deep convolutional neural network is implemented to map multivariate time series data of the motion kinematics to individual skill levels. We perform experiments on the public minimally invasive surgical robotic dataset, JHU-ISI Gesture and Skill Assessment Working Set (JIGSAWS). Our proposed learning model achieved a competitive accuracy of 92.5%, 95.4%, and 91.3%, in the standard training tasks: Suturing, Needle-passing, and Knot-tying, respectively. Without the need of engineered features or carefully-tuned gesture segmentation, our model can successfully decode skill information from raw motion profiles via end-to-end learning. Meanwhile, the proposed model is able to reliably interpret skills within 1-3 second window, without needing an observation of entire training trial. This study highlights the potentials of deep architectures for an proficient online skill assessment in modern surgical training.


title: Polyhedra Circuits and Their Applications

abstract: We introduce polyhedra circuits. Each polyhedra circuit characterizes a geometric region in $\mathbb{R}^d$. They can be applied to represent a rich class of geometric objects, which include all polyhedra and the union of a finite number of polyhedra. They can be used to approximate a large class of $d$-dimensional manifolds in $\mathbb{R}^d$. Barvinok developed polynomial time algorithms to compute the volume of a rational polyhedra, and to count the number of lattice points in a rational polyhedra in a fixed dimensional space $\mathbb{R}^d$ with a fix $d$. Define $T_V(d,\, n)$ be the polynomial time in $n$ to compute the volume of one rational polyhedra, $T_L(d,\, n)$ be the polynomial time in $n$ to count the number of lattice points in one rational polyhedra with $d$ be a fixed dimensional number, $T_I(d,\, n)$ be the polynomial time in $n$ to solve integer linear programming time with $d$ be the fixed dimensional number, where $n$ is the total number of linear inequalities from input polyhedra. We develop algorithms to count the number of lattice points in the geometric region determined by a polyhedra circuit in $O\left(nd\cdot r_d(n)\cdot T_V(d,\, n)\right)$ time and to compute the volume of the geometric region determined by a polyhedra circuit in $O\left(n\cdot r_d(n)\cdot T_I(d,\, n)+r_d(n)T_L(d,\, n)\right)$ time, where $n$ is the number of input linear inequalities, $d$ is number of variables and $r_d(n)$ be the maximal number of regions that $n$ linear inequalities with $d$ variables partition $\mathbb{R}^d$.


title: SATR-DL: Improving Surgical Skill Assessment and Task Recognition in Robot-assisted Surgery with Deep Neural Networks

abstract: Purpose: This paper focuses on an automated analysis of surgical motion profiles for objective skill assessment and task recognition in robot-assisted surgery. Existing techniques heavily rely on conventional statistic measures or shallow modelings based on hand-engineered features and gesture segmentation. Such developments require significant expert knowledge, are prone to errors, and are less efficient in online adaptive training systems. Methods: In this work, we present an efficient analytic framework with a parallel deep learning architecture, SATR-DL, to assess trainee expertise and recognize surgical training activity. Through an end-to-end learning technique, abstract information of spatial representations and temporal dynamics is jointly obtained directly from raw motion sequences. Results: By leveraging a shared high-level representation learning, the resulting model is successful in the recognition of trainee skills and surgical tasks, suturing, needle-passing, and knot-tying. Meanwhile, we explore the use of ensemble in classification at the trial level, where the SATR-DL outperforms state-of-the-art performance by achieving accuracies of 0.960 and 1.000 in skill assessment and task recognition, respectively. Conclusion: This study highlights the potential of SATR-DL to provide improvements for an efficient data-driven assessment in intelligent robotic surgery.


title: CIA-Towards a Unified Marketing Optimization Framework for e-Commerce Sponsored Search

abstract: As the largest e-commerce platform, Taobao helps advertisers reach billions of search queries each day via sponsored search, which has also contributed considerable revenue to the platform. An efficient bidding strategy to cater to diverse advertiser demands while balancing platform revenue and consumer experience is significant to a healthy and sustainable marketing ecosystem. In this paper we propose \emph{Customer Intelligent Agent (CIA)}, a bidding optimization framework which implements an impression-level bidding to reflect advertisers' conversion willingness and budget control. In this way, CIA is capable of fulfilling various e-commerce advertiser demands on different levels, such as Gross Merchandise Volume optimization, style comparison etc. Additionally, a replay based simulation system is designed to predict the performance of different take-rate. CIA unifies the benefits of three parties in the marketing ecosystem without changing the Generalized Second Price mechanism. Our extensive offline simulations and large-scale online experiments on \emph{Taobao Search Advertising (TSA)} platform verify the high effectiveness of the CIA framework. Moreover, CIA has been deployed online as a major bidding tool in TSA.


title: The agreement distance of rooted phylogenetic networks

abstract: The minimal number of rooted subtree prune and regraft (rSPR) operations needed to transform one phylogenetic tree into another one induces a metric on phylogenetic trees - the rSPR-distance. The rSPR-distance between two phylogenetic trees $T$ and $T'$ can be characterised by a maximum agreement forest; a forest with a minimum number of components that covers both $T$ and $T'$. The rSPR operation has recently been generalised to phylogenetic networks with, among others, the subnetwork prune and regraft (SNPR) operation. Here, we introduce maximum agreement graphs as an explicit representations of differences of two phylogenetic networks, thus generalising maximum agreement forests. We show that maximum agreement graphs induce a metric on phylogenetic networks - the agreement distance. While this metric does not characterise the distances induced by SNPR and other generalisations of rSPR, we prove that it still bounds these distances with constant factors.


title: On the characterization of the degree of interpolation polynomials in terms of certain combinatorical matrices

abstract: In this note we show that the degree of the interpolation polynomial for equidistant base points is characterized by the regularity of matrices of combinatorical type.


title: Decimetric emission 500$''$ away from a flaring Site: Possible scenarios from ${\textit{GMRT}}$ solar radio observations

abstract: We present a study of decimetric radio activity, using the first high time cadence (0.5 s) images from the ${\textit{Giant Meterwave Radio Telescope}}$ (${\textit{GMRT}}$) at 610 MHz, associated with ${\textit{GOES}}$ C1.4 and M1.0 class solar flares, and a coronal mass ejection (CME) onset that occurred on 20 June 2015. The high spatial resolution images from ${\textit{GMRT}}$ show a strong radio source during the C1.4 flare, located ~500$''$ away from the flaring site with no corresponding bright footpoints or coronal features nearby. In contrast, however, strong radio sources are found near the flaring site during the M1.0 flare and around the CME onset time. Weak radio sources, located near the flaring site, are also found during the maximum of the C1.4 flare activity, which show a temporal association with metric type III bursts identified by the Solar Broadband Radio Spectrometer at Yunnan Astronomical Observatory. Based on a multi-wavelength analysis and magnetic potential field source surface extrapolations, we suggest that the source electrons of ${\textit{GMRT}}$ radio sources and metric type III bursts were originated from a common electron acceleration site. We also show that the strong ${\textit{GMRT}}$ radio source is generated by a coherent emission process and its apparent location far from the flaring site is possibly due to the wave-ducting effect.


title: Fractal Properties of Biophysical Models of Pericellular Brushes Can Be Used to Differentiate Between Cancerous and Normal Cervical Epithelial Cells

abstract: Fractal behavior is found on the topographies of pericellular brushes on the surfaces of model healthy and cancerous cells, using dissipative particle dynamics models and simulations. The influence of brush composition, chain stiffness and solvent quality on the fractal dimension is studied in detail. Since fractal dimension alone cannot guarantee that the brushes possess fractal properties, their lacunarity was obtained also, which is a measure of the space filling capability of fractal objects. Soft polydisperse brushes are found to have larger fractal dimension than soft monodisperse ones, under poor solvent conditions, in agreement with recent experiments on dried cancerous and healthy human cervical epithelial cells. Additionally, we find that image resolution is critical for the accurate assessment of differences between images from different cells. The images of the brushes on healthy model cells are found to be more textured than those of brushes on model cancerous cells, as indicated by the larger lacunarity of the former. These findings are helpful to distinguish monofractal behavior from multifractality, which has been found to be useful to discriminate between immortal, cancerous and normal cells in recent experiments.


title: Weakly Supervised Deep Image Hashing through Tag Embeddings

abstract: Many approaches to semantic image hashing have been formulated as supervised learning problems that utilize images and label information to learn the binary hash codes. However, large-scale labeled image data is expensive to obtain, thus imposing a restriction on the usage of such algorithms. On the other hand, unlabelled image data is abundant due to the existence of many Web image repositories. Such Web images may often come with images tags that contain useful information, although raw tags, in general, do not readily lead to semantic labels. Motivated by this scenario, we formulate the problem of semantic image hashing as a weakly-supervised learning problem. We utilize the information contained in the user-generated tags associated with the images to learn the hash codes. More specifically, we extract the word2vec semantic embeddings of the tags and use the information contained in them for constraining the learning. Accordingly, we name our model Weakly Supervised Deep Hashing using Tag Embeddings (WDHT). WDHT is tested for the task of semantic image retrieval and is compared against several state-of-art models. Results show that our approach sets a new state-of-art in the area of weekly supervised image hashing.


title: Molecular generative model based on conditional variational autoencoder for de novo molecular design

abstract: We propose a molecular generative model based on the conditional variational autoencoder for de novo molecular design. It is specialized to control multiple molecular properties simultaneously by imposing them on a latent space. As a proof of concept, we demonstrate that it can be used to generate drug-like molecules with five target properties. We were also able to adjust a single property without changing the others and to manipulate it beyond the range of the dataset.


title: Subsolution theorem and the Dirichlet problem for the quaternionic Monge-Ampere equation

abstract: In this paper, the author studies quaternionic Monge-Amp\`ere equations and obtain the existence of the solutions to the Dirichlet problem for such equations in strictly pesudoconvex domains in quaternionic space. The stability and subsolution theorems are established for quaternionic Monge-Amp\`ere equations.


title: Measurement-device-independent and arbitrarily loss-tolerant verification of quantum steering

abstract: We propose a method to verify quantum steering for two qubit states with an arbitrary amount of null results when both the steering and steered parties cannot be trusted. We converted the steering inequality proposed in a recent article [Phys.~Rev.~X {\bf 2}, 031003 (2012)] to a corresponding measurement-device-independent steering criterion that depends on the heralding efficiency of the steering party, number of measurement settings, and imperfection of the state preparation. As a result, for a relative frequency of valid measurement outcomes $\eta_H$, the steering can be verified using a number of different measurement settings larger than $1/\eta_H$ and maximally entangled states. Furthermore, steerability is guaranteed as long as the measurement efficiency of the steered party is non-zero. Our result is useful for loss-tolerant and measurement-device-independent steering tasks.


title: Deep Extragalactic VIsible Legacy Survey (DEVILS): Motivation, Design and Target Catalogue

abstract: The Deep Extragalactic VIsible Legacy Survey (DEVILS) is a large spectroscopic campaign at the Anglo-Australian Telescope (AAT) aimed at bridging the near and distant Universe by producing the highest completeness survey of galaxies and groups at intermediate redshifts ($0.3<z<1.0$). Our sample consists of $\sim$60,000 galaxies to Y$<$21.2mag, over $\sim$6deg$^{2}$ in three well-studied deep extragalactic fields (Cosmic Origins Survey field, COSMOS, Extended Chandra Deep Field South, ECDFS and the X-ray Multi-Mirror Mission Large-Scale Structure region, XMM-LSS - all Large Synoptic Survey Telescope deep-drill fields). This paper presents the broad experimental design of DEVILS. Our target sample has been selected from deep Visible and Infrared Survey Telescope for Astronomy (VISTA) Y-band imaging (VISTA Deep Extragalactic Observations, VIDEO and UltraVISTA), with photometry measured by ProFound. Photometric star/galaxy separation is done on the basis of NIR colours, and has been validated by visual inspection. To maximise our observing efficiency for faint targets we employ a redshift feedback strategy, which continually updates our target lists, feeding back the results from the previous night's observations. We also present an overview of the initial spectroscopic observations undertaken in late 2017 and early 2018.


title: Measurement of cross sections and astrophysical S-factors for d(p,gamma)3He reaction at astrophysically relevant energies using a large volume LaBr3:Ce detector

abstract: In nuclear astrophysics, the experimental scenario is still unclear for BBN relevant energies from 30-300 keV. Here, we report our measurements of cross section and astrophysical S(E) factor for pd capture reaction using proton beam energies 66 keV, 116 keV and 166 keV. Realistic GEANT4 simulations were carried out in order to estimate the energy dependent efficiency of the detector. The measured cross section and astrophysical S(E) factor for three new incident proton energies are found to be in good agreement, within the errors, with the values reported in the literature.


title: Best sources forward: domain generalization through source-specific nets

abstract: A long standing problem in visual object categorization is the ability of algorithms to generalize across different testing conditions. The problem has been formalized as a covariate shift among the probability distributions generating the training data (source) and the test data (target) and several domain adaptation methods have been proposed to address this issue. While these approaches have considered the single source-single target scenario, it is plausible to have multiple sources and require adaptation to any possible target domain. This last scenario, named Domain Generalization (DG), is the focus of our work. Differently from previous DG methods which learn domain invariant representations from source data, we design a deep network with multiple domain-specific classifiers, each associated to a source domain. At test time we estimate the probabilities that a target sample belongs to each source domain and exploit them to optimally fuse the classifiers predictions. To further improve the generalization ability of our model, we also introduced a domain agnostic component supporting the final classifier. Experiments on two public benchmarks demonstrate the power of our approach.


title: Almost automorphy of surjective semiflows on compact Hausdorff spaces

abstract: Let $(T,X)$ with phase mapping $(t,x)\mapsto tx$ be a semiflow on a compact $\textrm{T}_2$-space $X$ with phase semigroup $T$ such that $tX=X$ for each $t$ of $T$. An $x\in X$ is called an \textit{a.a. point} if $t_nx\to y, x_n^\prime\to x^\prime$ and $t_nx_n^\prime=y$ implies $x=x^\prime$ for every net $\{t_n\}$ in $T$. In this paper, we study the a.a. dynamics of $(T,X)$; and moreover, we present a complete proof of Veech's structure theorem for a.a. flows.


title: Convergence of combinatorial Ricci flows to degenerate circle patterns

abstract: We investigate the combinatorial Ricci flow on a surface of nonpositive Euler characteristic when the necessary and sufficient condition for the convergence of the combinatorial Ricci flow is not valid. This observation addresses one of questions raised by B. Chow and F. Luo.


title: Allpix$^2$: A Modular Simulation Framework for Silicon Detectors

abstract: Allpix$^2$ (read: Allpix Squared) is a generic, open-source software framework for the simulation of silicon pixel detectors. Its goal is to ease the implementation of detailed simulations for both single detectors and more complex setups such as beam telescopes from incident radiation to the digitised detector response. Predefined detector types can be automatically constructed from simple model files describing the detector parameters. The simulation chain is arranged with the help of intuitive configuration files and an extensible system of modules, which implement separate simulation steps such as realistic charge carrier deposition with the Geant4 toolkit or propagation of charge carriers in silicon using a drift-diffusion model. Detailed electric field maps imported from TCAD simulations can be used to precisely model the drift behaviour of charge carriers within the silicon, bringing a new level of realism to Monte Carlo based simulations of particle detectors. This paper provides an overview of the framework and a selection of different simulation modules, and presents a comparison of simulation results with test beam data recorded with hybrid pixel detectors. Emphasis is placed on the performance of the framework itself, using a first-principles simulation of the detectors without addressing secondary ASIC-specific effects.


title: Exact dimer phase with anisotropic interaction for one dimensional magnets

abstract: We report the exact dimer phase, in which the ground states are described by product of singlet dimer, in the extended XYZ model by generalizing the isotropic Majumdar-Ghosh model to the fully anisotropic region. We demonstrate that this phase can be realized even in models when antiferromagnetic interaction along one of the three directions. This model also supports three different ferromagnetic (FM) phases, denoted as $x$-FM, $y$-FM and $z$-FM, polarized along the three directions. The boundaries between the exact dimer phase and FM phases are infinite-fold degenerate. The breaking of this infinite-fold degeneracy by either translational symmetry breaking or $\mathbb{Z}_2$ symmetry breaking leads to exact dimer phase and FM phases, respectively. Moreover, the boundaries between the three FM phases are critical with central charge $c=1$ for free fermions. We characterize the properties of these boundaries using entanglement entropy, excitation gap, and long-range spin-spin correlation functions. These results are relevant to a large number of one dimensional magnets, in which anisotropy is necessary to isolate a single chain out from the bulk material. We discuss the possible experimental signatures in realistic materials with magnetic field along different directions and show that the anisotropy may resolve the disagreement between theory and experiments based on isotropic spin-spin interactions.


title: Preinflationary dynamics of $\alpha-$attractor in loop quantum cosmology

abstract: We systematically study the preinflationary dynamics of the spatially flat Friedmann-Lemaitre-Robertson-Walker universe filled with a single scalar field that has the generalized $\alpha-$attractor potentials, in the framework of loop quantum cosmology, in which the big bang singularity is replaced generically by a non-singular quantum bounce due to purely quantum geometric effects. The evolution can be divided into two different classes, one is dominated initially (at the quantum bounce) by the kinetic energy of the scalar field, and one is not. In both cases, we identify numerically the physically viable initial conditions that lead to not only a slow-roll inflationary phase, but also enough $e$-folds to be consistent with observations, and find that the output of such a viable slow-roll inflationary phase is generic. In addition, we also show that in the case when the evolution of the universe is dominated initially by the kinetic energy of the scalar field (except for a very small set in the phase space), the evolution before reheating is aways divided into three different phases: {\em bouncing, transition and slow-roll inflation}. This universal feature does not depend on the initial conditions of the system nor on the specific potentials of the scalar field, as long as it is dominated initially by the kinetic energy of the scalar field at the bounce. Moreover, we carry out phase space analyses for the models under consideration and compare our results with the power-law and Starobinsky potentials.


title: On transitivity dynamics of topological semiflows

abstract: Let $T\times X\rightarrow X, (t,x)\mapsto tx$, be a topological semiflow on a topological space $X$ with phase semigroup $T$. We introduce and discuss in this paper various transitivity dynamics of $(T,X)$.


title: Safe Active Feature Selection for Sparse Learning

abstract: We present safe active incremental feature selection~(SAIF) to scale up the computation of LASSO solutions. SAIF does not require a solution from a heavier penalty parameter as in sequential screening or updating the full model for each iteration as in dynamic screening. Different from these existing screening methods, SAIF starts from a small number of features and incrementally recruits active features and updates the significantly reduced model. Hence, it is much more computationally efficient and scalable with the number of features. More critically, SAIF has the safe guarantee as it has the convergence guarantee to the optimal solution to the original full LASSO problem. Such an incremental procedure and theoretical convergence guarantee can be extended to fused LASSO problems. Compared with state-of-the-art screening methods as well as working set and homotopy methods, which may not always guarantee the optimal solution, SAIF can achieve superior or comparable efficiency and high scalability with the safe guarantee when facing extremely high dimensional data sets. Experiments with both synthetic and real-world data sets show that SAIF can be up to 50 times faster than dynamic screening, and hundreds of times faster than computing LASSO or fused LASSO solutions without screening.


title: Lasing without population inversion in air

abstract: A cavity-free laser in the sky could lead to revolutionary improvements in optical remote sensing for atmospheric science. Abundant in air, nitrogen molecules are prime candidates as an active medium for such a laser. Nitrogen molecules, either neutral or singly ionized, exhibit a significant optical gain in the UV regime when pumped by an intense femtosecond laser. Despite numerous works, the physical origin of this lasing is still not understood. Here we offer a consistent interpretation of all experimental facts by introducing a concept drawn from the field of quantum optics: transient lasing without inversion. Our experiments and simulations identify the crucial role of macroscopic coherence, instead of population inversion, in the nitrogen ions lasing system. Manipulating the macroscopic coherence provides a new level of control over nitrogen air lasing and offers new perspectives for the generation of very short wavelength laser where population inversion is difficult to achieve.


title: BubbleRank: Safe Online Learning to Re-Rank via Implicit Click Feedback

abstract: In this paper, we study the problem of safe online learning to re-rank, where user feedback is used to improve the quality of displayed lists. Learning to rank has traditionally been studied in two settings. In the offline setting, rankers are typically learned from relevance labels created by judges. This approach has generally become standard in industrial applications of ranking, such as search. However, this approach lacks exploration and thus is limited by the information content of the offline training data. In the online setting, an algorithm can experiment with lists and learn from feedback on them in a sequential fashion. Bandit algorithms are well-suited for this setting but they tend to learn user preferences from scratch, which results in a high initial cost of exploration. This poses an additional challenge of safe exploration in ranked lists. We propose BubbleRank, a bandit algorithm for safe re-ranking that combines the strengths of both the offline and online settings. The algorithm starts with an initial base list and improves it online by gradually exchanging higher-ranked less attractive items for lower-ranked more attractive items. We prove an upper bound on the n-step regret of BubbleRank that degrades gracefully with the quality of the initial base list. Our theoretical findings are supported by extensive experiments on a large-scale real-world click dataset.


title: Merging stellar-mass binary black holes

abstract: The LIGO and Virgo detectors have directly observed gravitational waves from mergers of pairs of stellar-mass black holes, along with a smaller number of mergers involving neutron stars. These observations raise the hope that compact object mergers could be used as a probe of stellar and binary evolution, and perhaps of stellar dynamics. This colloquium-style article summarises the existing observations, describes theoretical predictions for formation channels of merging stellar-mass black-hole binaries along with their rates and observable properties, and presents some prospects for gravitational-wave astronomy.


title: Measuring intergroup agreement and disagreement

abstract: This work is motivated by the need to assess the degree of agreement between two independent groups of raters. It proposes two new methods.


title: Design Patterns which Facilitate Message Digest Collision Attacks on Blockchains

abstract: Message digest algorithms are one of the underlying building blocks of blockchain platforms such as Ethereum. This paper analyses situations in which the message digest collision resistance property can be exploited by attackers. Two mitigations for possible attacks are described: longer message digest sizes make attacks more difficult; and, including timeliness properties limits the amount of time an attacker has to determine a hash collision.


title: Primal-dual residual networks

abstract: In this work, we propose a deep neural network architecture motivated by primal-dual splitting methods from convex optimization. We show theoretically that there exists a close relation between the derived architecture and residual networks, and further investigate this connection in numerical experiments. Moreover, we demonstrate how our approach can be used to unroll optimization algorithms for certain problems with hard constraints. Using the example of speech dequantization, we show that our method can outperform classical splitting methods when both are applied to the same task.


title: Three dimensional Deep Learning approach for remote sensing image classification

abstract: Recently, a variety of approaches has been enriching the field of Remote Sensing (RS) image processing and analysis. Unfortunately, existing methods remain limited faced to the rich spatio-spectral content of today's large datasets. It would seem intriguing to resort to Deep Learning (DL) based approaches at this stage with regards to their ability to offer accurate semantic interpretation of the data. However, the specificity introduced by the coexistence of spectral and spatial content in the RS datasets widens the scope of the challenges presented to adapt DL methods to these contexts. Therefore, the aim of this paper is firstly to explore the performance of DL architectures for the RS hyperspectral dataset classification and secondly to introduce a new three-dimensional DL approach that enables a joint spectral and spatial information process. A set of three-dimensional schemes is proposed and evaluated. Experimental results based on well knownhyperspectral datasets demonstrate that the proposed method is able to achieve a better classification rate than state of the art methods with lower computational costs.


title: Dispatch and Primary Frequency Control with Electrochemical Storage: a System-wise Verification

abstract: Uncertainty levels in forecasting of renewable generation and demand are known to affect the amount of reserve required to operate the power grid with a given level of reliability. In this paper, we quantify the effects on the system reserve and reliability, due to the local dispatch of stochastic demand and renewable generation. The analysis is performed considering the model of the IEEE 39-bus system, with detailed dynamic models of conventional generation, wind generation, demand and an under-frequency load shedding mechanism. The analysis compares to cases: the base case, where renewable generation and demand power are stochastic and the power reserve is provided by conventional generation, against the case where the operation of traditionally stochastic resources is dispatched according to pre-established dispatch plans thanks to controlling local flexibility. Simulations reproduce the post-contingency dynamic behavior of the grid due to outages of generators. The contingencies are selected to trigger under frequency load shedding mechanisms, hence to demonstrate the different levels of system operation reliability for the two case studies. Simulation results show that dispatching traditionally stochastic generation scores better regarding to expected energy not served, producing an increase of the system reliability.


title: Two-level preconditioning for Ridge Regression

abstract: Solving linear systems is often the computational bottleneck in real-life problems. Iterative solvers are the only option due to the complexity of direct algorithms or because the system matrix is not explicitly known. Here, we develop a two-level preconditioner for regularized least squares linear systems involving a feature or data matrix. Variants of this linear system may appear in machine learning applications, such as ridge regression, logistic regression, support vector machines and Bayesian regression. We use clustering algorithms to create a coarser level that preserves the principal components of the covariance or Gram matrix. This coarser level approximates the dominant eigenvectors and is used to build a subspace preconditioner accelerating the Conjugate Gradient method. We observed speed-ups for artificial and real-life data.


title: Computing projective equivalences of special algebraic varieties

abstract: This paper is devoted to the investigation of selected situations when the computation of projective (and other) equivalences of algebraic varieties can be efficiently solved with the help of finding projective equivalences of finite sets on the projective line. In particular, we design a unifying approach that finds for two algebraic varieties $X,Y$ from special classes an associated set of automorphisms of the projective line (the so called good candidate set) consisting of candidates for the construction of possible mappings $X\rightarrow Y$. The functionality of the designed method is presented on computing projective equivalences of rational curves, on determining projective equivalences of rational ruled surfaces, on the detection of affine transformations between planar curves, and on computing similarities between two implicitly given algebraic surfaces. When possible, symmetries of given shapes are also discussed as special cases.


title: Semi-group structure of all endomorphisms of a projective variety admitting a polarized endomorphism

abstract: Let $X$ be a projective variety admitting a polarized (or more generally, int-amplified) endomorphism. We show: there are only finitely many contractible extremal rays; and when $X$ is $\mathbb{Q}$-factorial normal, every minimal model program is equivariant relative to the monoid $SEnd(X)$ of all surjective endomorphisms, up to finite index. Further, when $X$ is rationally connected and smooth, we show: there is a finite-index submonoid $G$ of $SEnd(X)$ such that $G$ acts via pullback as diagonal (and hence commutative) matrices on the Neron-Severi group; the full automorphisms group $Aut(X)$ has finitely many connected components; and every amplified endomorphism is int-amplified.


title: Statistical Inference with Ensemble of Clustered Desparsified Lasso

abstract: Medical imaging involves high-dimensional data, yet their acquisition is obtained for limited samples. Multivariate predictive models have become popular in the last decades to fit some external variables from imaging data, and standard algorithms yield point estimates of the model parameters. It is however challenging to attribute confidence to these parameter estimates, which makes solutions hardly trustworthy. In this paper we present a new algorithm that assesses parameters statistical significance and that can scale even when the number of predictors p $\ge$ 10^5 is much higher than the number of samples n $\le$ 10^3 , by lever-aging structure among features. Our algorithm combines three main ingredients: a powerful inference procedure for linear models --the so-called Desparsified Lasso-- feature clustering and an ensembling step. We first establish that Desparsified Lasso alone cannot handle n p regimes; then we demonstrate that the combination of clustering and ensembling provides an accurate solution, whose specificity is controlled. We also demonstrate stability improvements on two neuroimaging datasets.


title: Parametric versus nonparametric: the fitness coefficient

abstract: The fitness coefficient, introduced in this paper, results from a competition between parametric and nonparametric density estimators within the likelihood of the data. As illustrated on several real datasets, the fitness coefficient generally agrees with p-values but is easier to compute and interpret. Namely, the fitness coefficient can be interpreted as the proportion of data coming from the parametric model. Moreover, the fitness coefficient can be used to build a semiparamteric compromise which improves inference over the parametric and nonparametric approaches. From a theoretical perspective, the fitness coefficient is shown to converge in probability to one if the model is true and to zero if the model is false. From a practical perspective, the utility of the fitness coefficient is illustrated on real and simulated datasets.


title: Tunnelling dominates the reactions of hydrogen atoms with unsaturated alcohols and aldehydes in the dense medium

abstract: Hydrogen addition and abstraction reactions play an important role as surface reactions in the buildup of complex organic molecules in the dense interstellar medium. Addition reactions allow unsaturated bonds to be fully hydrogenated, while abstraction reactions recreate radicals that may undergo radical-radical recombination reactions. Previous experimental work has indicated that double and triple C--C bonds are easily hydrogenated, but aldehyde -C=O bonds are not. Here, we investigate a total of 29 reactions of the hydrogen atom with propynal, propargyl alcohol, propenal, allyl alcohol, and propanal by means of quantum chemical methods to quantify the reaction rate constants involved. First of all, our results are in good agreement with and can explain the observed experimental findings. The hydrogen addition to the aldehyde group, either on the C or O side, is indeed slow for all molecules considered. Abstraction of the H atom of the aldehyde group, on the other hand, is among the faster reactions. Furthermore, hydrogen addition to C--C double bonds is generally faster than to triple bonds. In both cases, addition on the terminal carbon atom that is not connected to other functional groups is easiest. Finally, we wish to stress that it is not possible to predict rate constants based solely on the type of reaction: the specific functional groups attached to a backbone play a crucial role and can lead to a spread of several orders of magnitude in the rate constant.


title: Dynamic Data-driven Bayesian GMsFEM

abstract: In this paper, we propose a Bayesian approach for multiscale problems with the availability of dynamic observational data. Our method selects important degrees of freedom probabilistically in a Generalized multiscale finite element method framework. Due to scale disparity in many multiscale applications, computational models can not resolve all scales. Dominant modes in the Generalized Multiscale Finite Element Method are used as "permanent" basis functions, which we use to compute an inexpensive multiscale solution and the associated uncertainties. Through our Bayesian framework, we can model approximate solutions by selecting the unresolved scales probabilistically. We consider parabolic equations in heterogeneous media. The temporal domain is partitioned into subintervals. Using residual information and given dynamic data, we design appropriate prior distribution for modeling missing subgrid information. The likelihood is designed to minimize the residual in the underlying PDE problem and the mismatch of observational data. Using the resultant posterior distribution, the sampling process identifies important degrees of freedom beyond permanent basis functions. The method adds important degrees of freedom in resolving subgrid information and ensuring the accuracy of the observations.


title: On the exact minimization of saturated loss functions for robust regression and subspace estimation

abstract: This paper deals with robust regression and subspace estimation and more precisely with the problem of minimizing a saturated loss function. In particular, we focus on computational complexity issues and show that an exact algorithm with polynomial time-complexity with respect to the number of data can be devised for robust regression and subspace estimation. This result is obtained by adopting a classification point of view and relating the problems to the search for a linear model that can approximate the maximal number of points with a given error. Approximate variants of the algorithms based on ramdom sampling are also discussed and experiments show that it offers an accuracy gain over the traditional RANSAC for a similar algorithmic simplicity.


title: Counting points on genus-3 hyperelliptic curves with explicit real multiplication

abstract: We propose a Las Vegas probabilistic algorithm to compute the zeta function of a genus-3 hyperelliptic curve defined over a finite field $\mathbb F_q$, with explicit real multiplication by an order $\mathbb Z[\eta]$ in a totally real cubic field. Our main result states that this algorithm requires an expected number of $\widetilde O((\log q)^6)$ bit-operations, where the constant in the $\widetilde O()$ depends on the ring $\mathbb Z[\eta]$ and on the degrees of polynomials representing the endomorphism $\eta$. As a proof-of-concept, we compute the zeta function of a curve defined over a 64-bit prime field, with explicit real multiplication by $\mathbb Z[2\cos(2\pi/7)]$.


title: Universal electromagnetic fields

abstract: We study universal electromagnetic (test) fields, i.e., p-forms fields F that solve simultaneously (virtually) any generalized electrodynamics (containing arbitrary powers and derivatives of F in the field equations) in n spacetime dimensions. One of the main results is a sufficient condition: any null F that solves Maxwell's equations in a Kundt spacetime of aligned Weyl and traceless-Ricci type III is universal (in particular thus providing examples of p-form Galileons on curved Kundt backgrounds). In addition, a few examples in Kundt spacetimes of Weyl type II are presented. Some necessary conditions are also obtained, which are particularly strong in the case n=4=2p: all the scalar invariants of a universal 2-form in four dimensions must be constant, and vanish in the special case of a null F .


title: Superconformal blocks from Wilson lines with loop corrections

abstract: We compute the $\mathcal{N}=1$ superconformal blocks from the networks of open Wilson lines in the $\text{osp}(1|2)$ Chern-Simons theory in the expansion of large central charge $c$. We first reproduce the $1/c$ correction of conformal weight from an open Wilson line by adopting the regularization prescription developed in our previous works. We then obtain the closed form expressions of superconformal blocks including $1/c$ corrections, which were not available before. We also examine heavy operators corresponding to supersymmetric conical spaces, and the geometry is quantized by utilizing the coadjoint orbits of the super Virasoro group. Superconformal blocks involving these operators are also examined.


title: Oreo: Detection of Clones in the Twilight Zone

abstract: Source code clones are categorized into four types of increasing difficulty of detection, ranging from purely textual (Type-1) to purely semantic (Type-4). Most clone detectors reported in the literature work well up to Type-3, which accounts for syntactic differences. In between Type-3 and Type-4, however, there lies a spectrum of clones that, although still exhibiting some syntactic similarities, are extremely hard to detect -- the Twilight Zone. Most clone detectors reported in the literature fail to operate in this zone. We present Oreo, a novel approach to source code clone detection that not only detects Type-1 to Type-3 clones accurately, but is also capable of detecting harder-to-detect clones in the Twilight Zone. Oreo is built using a combination of machine learning, information retrieval, and software metrics. We evaluate the recall of Oreo on BigCloneBench, and perform manual evaluation for precision. Oreo has both high recall and precision. More importantly, it pushes the boundary in detection of clones with moderate to weak syntactic similarity in a scalable manner.


title: The Road to Success: Assessing the Fate of Linguistic Innovations in Online Communities

abstract: We investigate the birth and diffusion of lexical innovations in a large dataset of online social communities. We build on sociolinguistic theories and focus on the relation between the spread of a novel term and the social role of the individuals who use it, uncovering characteristics of innovators and adopters. Finally, we perform a prediction task that allows us to anticipate whether an innovation will successfully spread within a community.


title: Density estimation for RWRE

abstract: We consider the problem of non-parametric density estimation of a random environment from the observation of a single trajectory of a random walk in this environment. We first construct a density estimator using the beta-moments. We then show that the Goldenshluger-Lepski method can be used to select the beta-moment. We prove non-asymptotic bounds for the supremum norm of these estimators for both the recurrent and the transient to the right cases. A simulation study supports our theoretical findings.


title: Noether Current, Black Hole Entropy and Spacetime Torsion

abstract: We show that the presence of spacetime torsion, unlike any other non-trivial modifications of the Einstein gravity, does \emph{not} affect black hole entropy. The theory being diffeomorphism invariant leads to a Noether current and hence to a Noether charge, which can be associated to the heat content of the spacetime. Furthermore, the evolution of the spacetime inheriting torsion can be encoded in the difference between suitably defined surface and bulk degrees of freedom. For static spacetimes the surface and bulk degrees of freedom coincides, leading to holographic equipartition. In doing so one can see that the surface degrees of freedom originate from horizon area and it is clear that spacetime torsion never contributes to the surface degrees of freedom and hence neither to the black hole entropy. We further show that the gravitational Hamiltonian in presence of torsion does not inherit any torsion dependence in the boundary term and hence the first law originating from the variation of the Hamiltonian, relates entropy to area. This reconfirms our claim that torsion does not modify the black hole entropy.


title: Tunable Sorting of Mesoscopic Chiral Structures by External Noise in Achiral Periodic Potentials

abstract: Efficient chirality sorting is now highly demanded to separate assembled mesoscopic chiral structures which are of very special physical properties rather than their achiral counterparts or those at the single-particle level. However, the efficiency of conventional methods usually suffers from the thermal or external noise. Here, we propose a mechanism utilizing external noise to attain a tunable sorting of mesoscopic chiral particles in an achiral periodic potential. The complete chirality-separation stems from the path selection by a noise-induced biased flux in a nonequilibrium landscape. Such mechanism provides a practicable way to control the motion of chiral particles by simply adjusting the noise intensity, which is demonstrated by simultaneous separation of several kinds of enantiomorphs with different degrees of chirality. The robustness and generalizability of noise-tuned chirality sorting is further verified in systems with other types of periodic potentials or spatially/temporally correlated noise.


title: Real-time Monocular Visual Odometry for Turbid and Dynamic Underwater Environments

abstract: In the context of robotic underwater operations, the visual degradations induced by the medium properties make difficult the exclusive use of cameras for localization purpose. Hence, most localization methods are based on expensive navigational sensors associated with acoustic positioning. On the other hand, visual odometry and visual SLAM have been exhaustively studied for aerial or terrestrial applications, but state-of-the-art algorithms fail underwater. In this paper we tackle the problem of using a simple low-cost camera for underwater localization and propose a new monocular visual odometry method dedicated to the underwater environment. We evaluate different tracking methods and show that optical flow based tracking is more suited to underwater images than classical approaches based on descriptors. We also propose a keyframe-based visual odometry approach highly relying on nonlinear optimization. The proposed algorithm has been assessed on both simulated and real underwater datasets and outperforms state-of-the-art visual SLAM methods under many of the most challenging conditions. The main application of this work is the localization of Remotely Operated Vehicles (ROVs) used for underwater archaeological missions but the developed system can be used in any other applications as long as visual information is available.


title: Bayesian inversion of a diffusion evolution equation with application to Biology

abstract: A common task in experimental sciences is to fit mathematical models to real-world measurements to improve understanding of natural phenomenon (reverse-engineering or inverse modeling). When complex dynamical systems are considered, such as partial differential equations, this task may become challenging and ill-posed. In this work, a linear parabolic equation is considered where the objective is to estimate both the differential operator coefficients and the source term at once. The Bayesian methodology for inverse problems provides a form of regularization while quantifying uncertainty as the solution is a probability measure taking in account data. This posterior distribution, which is non-Gaussian and infinite dimensional, is then summarized through a mode and sampled using a state-of-the-art Markov-Chain Monte-Carlo algorithm based on a geometric approach. After a rigorous analysis, this methodology is applied on a dataset of the post-transcriptional regulation of Kni gap gene in the early development of Drosophila Melanogaster where mRNA concentration and both diffusion and depletion rates are inferred from noisy measurement of the protein concentration


title: $\phi$-Lagrangian, a new scalar mediator for light-by-light scattering process

abstract: The $\phi$ scalar boson is a new mediator proposed to describe the direct light-by-light scattering observed recently in ultra-peripheral collisions (UPCs) with ATLAS detector where two photons interact directly to gives two photons in the final state. The proposed lagrangian present a description to the forbidden process. The description presented in this paper consist the interaction terms, the coupling to the Higgs boson to generate the mass for this new resonance and the simulation using proton proton in order to observe this process in other nominal LHC collisions, since the process is observed in heavy-ions collisions.


title: A Covariance Matrix Self-Adaptation Evolution Strategy for Optimization under Linear Constraints

abstract: This paper addresses the development of a covariance matrix self-adaptation evolution strategy (CMSA-ES) for solving optimization problems with linear constraints. The proposed algorithm is referred to as Linear Constraint CMSA-ES (lcCMSA-ES). It uses a specially built mutation operator together with repair by projection to satisfy the constraints. The lcCMSA-ES evolves itself on a linear manifold defined by the constraints. The objective function is only evaluated at feasible search points (interior point method). This is a property often required in application domains such as simulation optimization and finite element methods. The algorithm is tested on a variety of different test problems revealing considerable results.


title: On Stochastic Cucker-Smale flocking dynamics

abstract: We present a stochastic version of the Cucker-Smale flocking dynamics based on a markovian $N$-particle system of pair interactions with unbounded and, in general, non-Lipschitz continuous interaction potential. We establish the infinite particle limit $N \to \infty$ and identify the limit as a solution with a nonlinear martingale problem describing the law of a weak solution to a Vlasov-McKean stochastic equation with jumps. Moreover, we estimate the total variation and Wasserstein distance for the time-marginals from which uniqueness in the class of solutions having some finite exponential moments is deduced. Based on the uniqueness for the time-marginals we prove uniqueness in law for the Vlasov-McKean equation, i.e. we establish propagation of chaos.


title: Semantic Variation in Online Communities of Practice

abstract: We introduce a framework for quantifying semantic variation of common words in Communities of Practice and in sets of topic-related communities. We show that while some meaning shifts are shared across related communities, others are community-specific, and therefore independent from the discussed topic. We propose such findings as evidence in favour of sociolinguistic theories of socially-driven semantic variation. Results are evaluated using an independent language modelling task. Furthermore, we investigate extralinguistic features and show that factors such as prominence and dissemination of words are related to semantic variation.


title: An efficient multigrid solver for isogeometric analysis

abstract: The design of fast solvers for isogeometric analysis is receiving a lot of attention due to the challenge that offers to find an algorithm with a robust convergence with respect to the spline degree. Here, we analyze the application of geometric multigrid methods to this type of discretizations, and we propose a multigrid approach based on overlapping multiplicative Schwarz methods as smoothers. The size of the blocks considered within these relaxation procedures is adapted to the spline degree. A simple multigrid V-cycle with only one step of pre-smoothing results to be a very efficient algorithm, whose convergence is independent on the spline degree and the spatial discretization parameter. Local Fourier analysis is shown to be very useful for the understanding of the problems encountered in the design of a robust multigrid method for IGA, and it is performed to support the good convergence properties of the proposed solver. In fact, an analysis for any spline degree and an arbitrary size of the blocks within the Schwarz smoother is presented for the one-dimensional case. The efficiency of the solver is also demonstrated through several numerical experiments, including a two-dimensional problem on a nontrivial computational domain.


title: Optimal Market Making in the Presence of Latency

abstract: This paper studies optimal market making for large-tick assets in the presence of latency. We consider a random walk model for the asset price, and formulate the market maker's optimization problem using Markov Decision Processes (MDP). We characterize the value of an order and show that it plays the role of one-period reward in the MDP model. Based on this characterization, we provide explicit criteria for assessing the profitability of market making when there is latency. Under our model, we show that a market maker can earn a positive expected profit if there are sufficient uninformed market orders hitting the market maker's limit orders compared with the rate of price jumps, and the trading horizon is sufficiently long. In addition, our theoretical and numerical results suggest that latency can be an additional source of risk and latency impacts negatively the performance of market makers.


title: Testing the (0,2) mirror map

abstract: We test a proposed mirror map at the level of correlators for linear models describing the (0,2) moduli space of superconformal field theories with a (2,2) locus associated to Calabi-Yau hypersurfaces in toric varieties. We verify in non-trivial examples that the correlators are exchanged by the mirror map and we derive a correspondence between the observables of the A/2- and B/2-twisted theories. We also comment on the global structure of the (0,2) moduli space and present a simple non-renormalization argument for a large class of B/2 model subfamilies.


title: On the existence, uniqueness and stability of $\beta$-viscosity solutions to a class of Hamilton-Jacobi equations in Banach spaces

abstract: This paper is concerned with the qualitative properties of viscocity solutions to a class of Hamilton-Jacobi equations (HJEs) in Banach spaces. Specifically, based on the concept of $\beta$-derivative \cite{DGZ93b} we establish the existence, uniqueness and stability of $\beta$-viscosity solutions for a class of HJEs in the form $u+H(x,u,Du)=0.$ The obtained results in this paper extend ealier works in the literature, for example, \cite{CL85}, \cite{CL86} and \cite{DGZ93b}.


title: Coupled conditional backward sampling particle filter

abstract: The conditional particle filter (CPF) is a promising algorithm for general hidden Markov model smoothing. Empirical evidence suggests that the variant of CPF with backward sampling (CBPF) performs well even with long time series. Previous theoretical results have not been able to demonstrate the improvement brought by backward sampling, whereas we provide rates showing that CBPF can remain effective with a fixed number of particles independent of the time horizon. Our result is based on analysis of a new coupling of two CBPFs, the coupled conditional backward sampling particle filter (CCBPF). We show that CCBPF has good stability properties in the sense that with fixed number of particles, the coupling time in terms of iterations increases only linearly with respect to the time horizon under a general (strong mixing) condition. The CCBPF is useful not only as a theoretical tool, but also as a practical method that allows for unbiased estimation of smoothing expectations, following the recent developments by Jacob et al. (to appear). Unbiased estimation has many advantages, such as enabling the construction of asymptotically exact confidence intervals and straightforward parallelisation.


title: A Characterization of the Number of Roots of Linearized and Projective Polynomials in the Field of Coefficients

abstract: A fundamental problem in the theory of linearized and projective polynomials over finite fields is to characterize the number of roots in the coefficient field directly from the coefficients. We prove results of this type, of a recursive nature. These results follow from our main theorem which characterizes the number of roots using the rank of a matrix that is smaller than the Dickson matrix.


title: Entanglement-breaking channels with general outcome operator algebras

abstract: A unit-preserving and completely positive linear map, or a channel, $\Lambda \colon \mathcal{A} \to \mathcal{A}_{\mathrm{in}}$ between $C^\ast$-algebras $\mathcal{A}$ and $\mathcal{A}_{\mathrm{in}}$ is called entanglement-breaking (EB) if $\omega \circ( \Lambda \otimes \mathrm{id}_{\mathcal{B}} ) $ is a separable state for any $C^\ast$-algebra $\mathcal{B}$ and any state $\omega$ on the injective $C^\ast$-tensor product $\mathcal{A}_{\mathrm{in}} \otimes \mathcal{B} .$ In this paper, we establish the equivalence of the following conditions for a channel $\Lambda$ with a quantum input space and with a general outcome $C^\ast$-algebra, generalizing known results in finite dimensions: (i) $\Lambda$ is EB; (ii) $\Lambda$ has a measurement-prepare form (Holevo form); (iii) $n$ copies of $\Lambda$ are compatible for all $2 \leq n < \infty ;$ (iv) countably infinite copies of $\Lambda$ are compatible. By using this equivalence, we also show that the set of randomization-equivalence classes of normal EB channels with a fixed input von Neumann algebra is upper and lower Dedekind-closed, i.e. the supremum or infimum of any randomization-increasing or decreasing net of EB channels is also EB. As an example, we construct an injective normal EB channel with an arbitrary outcome operator algebra $\mathcal{M}$ acting on an infinite-dimensional separable Hilbert space by using the coherent states and the Bargmann measure.