title: Deep Learning for CSI Feedback Based on Superimposed Coding

abstract: Massive multiple-input multiple-output (MIMO) with frequency division duplex (FDD) mode is a promising approach to increasing system capacity and link robustness for the fifth generation (5G) wireless cellular systems. The premise of these advantages is the accurate downlink channel state information (CSI) fed back from user equipment. However, conventional feedback methods have difficulties in reducing feedback overhead due to significant amount of base station (BS) antennas in massive MIMO systems. Recently, deep learning (DL)-based CSI feedback conquers many difficulties, yet still shows insufficiency to decrease the occupation of uplink bandwidth resources. In this paper, to solve this issue, we combine DL and superimposed coding (SC) for CSI feedback, in which the downlink CSI is spread and then superimposed on uplink user data sequences (UL-US) toward the BS. Then, a multi-task neural network (NN) architecture is proposed at BS to recover the downlink CSI and UL-US by unfolding two iterations of the minimum mean-squared error (MMSE) criterion-based interference reduction. In addition, for a network training, a subnet-by-subnet approach is exploited to facilitate the parameter tuning and expedite the convergence rate. Compared with standalone SC-based CSI scheme, our multi-task NN, trained in a specific signal-to-noise ratio (SNR) and power proportional coefficient (PPC), consistently improves the estimation of downlink CSI with similar or better UL-US detection under SNR and PPC varying.


title: Attribute Aware Pooling for Pedestrian Attribute Recognition

abstract: This paper expands the strength of deep convolutional neural networks (CNNs) to the pedestrian attribute recognition problem by devising a novel attribute aware pooling algorithm. Existing vanilla CNNs cannot be straightforwardly applied to handle multi-attribute data because of the larger label space as well as the attribute entanglement and correlations. We tackle these challenges that hampers the development of CNNs for multi-attribute classification by fully exploiting the correlation between different attributes. The multi-branch architecture is adopted for fucusing on attributes at different regions. Besides the prediction based on each branch itself, context information of each branch are employed for decision as well. The attribute aware pooling is developed to integrate both kinds of information. Therefore, attributes which are indistinct or tangled with others can be accurately recognized by exploiting the context information. Experiments on benchmark datasets demonstrate that the proposed pooling method appropriately explores and exploits the correlations between attributes for the pedestrian attribute recognition.


title: Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover

abstract: We derive a Prolog theorem prover for an Intuitionistic Epistemic Logic by starting from the sequent calculus {\bf G4IP} that we extend with operator definitions providing an embedding in intuitionistic propositional logic ({\bf IPC}). With help of a candidate definition formula generator, we discover epistemic operators for which axioms and theorems of Artemov and Protopopescu's {\em Intuitionistic Epistemic Logic} ({\bf IEL}) hold and formulas expected to be non-theorems fail. We compare the embedding of {\bf IEL} in {\bf IPC} with a similarly discovered successful embedding of Dosen's double negation modality, judged inadequate as an epistemic operator. Finally, we discuss the failure of the {\em necessitation rule} for an otherwise successful {\bf S4} embedding and share our thoughts about the intuitions explaining these differences between epistemic and alethic modalities in the context of the Brouwer-Heyting-Kolmogorov semantics of intuitionistic reasoning and knowledge acquisition. Keywords: epistemic intuitionistic logic, propositional intuitionistic logic, Prolog-based theorem provers, automatic synthesis of logic systems, definition formula generation algorithms, embedding of modal logics into intuitionistic logic.


title: Classical Planck Spectrum for Relative Thermal Radiation, Classical Zero-Point Radiation, and Scale Parameter

abstract: In this work we obtain Planck's blackbody spectrum from the thermal scalar radiation contained in a resonant cavity of volume V in the context of classical mechanics, which provides the classical zero-point electromagnetic radiation in terms of a scale parameter that depends on geometric properties of the enclosure and electrical magnitudes. The scale parameter of the classical zero-point electromagnetic radiation is associated to experimental measurements of Casimir forces, but we show that theoretically its value for known radiant cavities that approach a blackbody has a numerical value of the order of Planck's constant.


title: Learning Instance-wise Sparsity for Accelerating Deep Models

abstract: Exploring deep convolutional neural networks of high efficiency and low memory usage is very essential for a wide variety of machine learning tasks. Most of existing approaches used to accelerate deep models by manipulating parameters or filters without data, e.g., pruning and decomposition. In contrast, we study this problem from a different perspective by respecting the difference between data. An instance-wise feature pruning is developed by identifying informative features for different instances. Specifically, by investigating a feature decay regularization, we expect intermediate feature maps of each instance in deep neural networks to be sparse while preserving the overall network performance. During online inference, subtle features of input images extracted by intermediate layers of a well-trained neural network can be eliminated to accelerate the subsequent calculations. We further take coefficient of variation as a measure to select the layers that are appropriate for acceleration. Extensive experiments conducted on benchmark datasets and networks demonstrate the effectiveness of the proposed method.


title: The Elliptic Tail Kernel

abstract: We introduce and study a new family of $q$-translation-invariant determinantal point processes on the two-sided $q$-lattice. We prove that these processes are limits of the $q$-$zw$ measures, which arise in the $q$-deformation of harmonic analysis on $U(\infty)$, and express their correlation kernels in terms of Jacobi theta functions. As an application, we show that the $q$-$zw$ measures are diffuse. Our results also hint at a link between the two-sided $q$-lattice and rows/columns of Young diagrams.

categories: math-ph math.CA math.MP math.PR math.QA math.RT


title: Self-Imitation Learning of Locomotion Movements through Termination Curriculum

abstract: Animation and machine learning research have shown great advancements in the past decade, leading to robust and powerful methods for learning complex physically-based animations. However, learning can take hours or days, especially if no reference movement data is available. In this paper, we propose and evaluate a novel combination of techniques for accelerating the learning of stable locomotion movements through self-imitation learning of synthetic animations. First, we produce synthetic and cyclic reference movement using a recent online tree search approach that can discover stable walking gaits in a few minutes. This allows us to use reinforcement learning with Reference State Initialization (RSI) to find a neural network controller for imitating the synthesized reference motion. We further accelerate the learning using a novel curriculum learning approach called Termination Curriculum (TC), that adapts the episode termination threshold over time. The combination of the RSI and TC ensures that simulation budget is not wasted in regions of the state space not visited by the final policy. As a result, our agents can learn locomotion skills in just a few hours on a modest 4-core computer. We demonstrate this by producing locomotion movements for a variety of characters.


title: Analyzing Linguistic Complexity and Scientific Impact

abstract: The number of publications and the number of citations received have become the most common indicators of scholarly success. In this context, scientific writing increasingly plays an important role in scholars' scientific careers. To understand the relationship between scientific writing and scientific impact, this paper selected 12 variables of linguistic complexity as a proxy for depicting scientific writing. We then analyzed these features from 36,400 full-text Biology articles and 1,797 full-text Psychology articles. These features were compared to the scientific impact of articles, grouped into high, medium, and low categories. The results suggested no practical significant relationship between linguistic complexity and citation strata in either discipline. This suggests that textual complexity plays little role in scientific impact in our data sets.


title: THIRD ORDER MAXIMUM-PRINCIPLE-SATISFYING DG SCHEMES Third Order Maximum-Principle-Satisfying DG schemes for Convection-Diffusion problems with Anisotropic Diffusivity DIFFUSIVITY

abstract: For a class of convection-diffusion equations with variable diffusivity, we construct third order accurate discontinuous Galerkin (DG) schemes on both one and two dimensional rectangular meshes. The DG method with an explicit time stepping can well be applied to nonlinear convection-diffusion equations. It is shown that under suitable time step restrictions, the scaling limiter proposed in [Liu and Yu, SIAM J. Sci. Comput. 36(5): A2296{A2325, 2014] when coupled with the present DG schemes preserves the solution bounds indicated by the initial data, i.e., the maximum principle, while maintaining uniform third order accuracy. These schemes can be extended to rectangular meshes in three dimension. The crucial for all model scenarios is that an effective test set can be identified to verify the desired bounds of numerical solutions. This is achieved mainly by taking advantage of the flexible form of the diffusive flux and the adaptable decomposition of weighted cell averages. Numerical results are presented to validate the numerical methods and demonstrate their effectiveness.


title: Generative Adversarial Network for Handwritten Text

abstract: Generative adversarial networks (GANs) have proven hugely successful in variety of applications of image processing. However, generative adversarial networks for handwriting is relatively rare somehow because of difficulty of handling sequential handwriting data by Convolutional Neural Network (CNN). In this paper, we propose a handwriting generative adversarial network framework (HWGANs) for synthesizing handwritten stroke data. The main features of the new framework include: (i) A discriminator consists of an integrated CNN-Long-Short-Term- Memory (LSTM) based feature extraction with Path Signature Features (PSF) as input and a Feedforward Neural Network (FNN) based binary classifier; (ii) A recurrent latent variable model as generator for synthesizing sequential handwritten data. The numerical experiments show the effectivity of the new model. Moreover, comparing with sole handwriting generator, the HWGANs synthesize more natural and realistic handwritten text.


title: Hazma: A Python Toolkit for Studying Indirect Detection of Sub-GeV Dark Matter

abstract: With several proposed MeV gamma-ray telescopes on the horizon, it is of paramount importance to perform accurate calculations of gamma-ray spectra expected from sub-GeV dark matter annihilation and decay. We present hazma, a python package for reliably computing these spectra, determining the resulting constraints from existing gamma-ray data, and prospects for upcoming telescopes. For high-level analyses, hazma comes with several built-in dark matter models where the interactions between dark matter and hadrons have been determined in detail using chiral perturbation theory. Additionally, hazma provides tools for computing spectra from individual final states with arbitrary numbers of light leptons and mesons, and for analyzing custom dark matter models. hazma can also produce electron and positron spectra from dark matter annihilation, enabling precise derivation of constraints from the cosmic microwave background.


title: Effects of Surface Trapping and Contact Ion Pairing on Ion Transport in Nanopores

abstract: Ion transport in highly-confined space is important to various applications, such as biosensing and seawater desalination with nanopores. All-atom molecular dynamics simulations are conducted to investigate the transport of Na$^+$ and Cl$^-$ ions through nanopores with the diameter below 6 nm. It is found that the formation of the contact ion pair plays a critical role in reducing the ion mobility inside a nanopore without surface charges. The mobility for both cations and anions decreases with the reduced pore size because it is easier to form the contact ion pairs inside the neutral nanopore with smaller diameter. Inside a charged nanopores, besides the contact ion pair formation, the surface charges also play a significant role in reducing the counterion mobility through surface trapping. It is uncovered that the mobility of Na$^+$ ions increases first and then decreases with the surface charge density, while Cl$^-$ ions have the opposite trend. A modified first-passage time model is proposed to take into account the ion pair formation and the trapped ions inside a nanopore, which provides a clear picture in describing ion transport through a nanopore.


title: Recurrent Neural Networks with Long Term Temporal Dependencies in Machine Tool Wear Diagnosis and Prognosis

abstract: Data-driven approaches to automated machine condition monitoring are gaining popularity due to advancements made in sensing technologies and computing algorithms. This paper proposes the use of a deep learning model, based on Long Short-Term Memory (LSTM) architecture for a recurrent neural network (RNN) which captures long term dependencies for modeling sequential data. In the context of estimating cutting tool wear amounts, this LSTM based RNN approach utilizes a system transition and system observation function based on a minimally intrusive vibration sensor signal located near the workpiece fixtures. By applying an LSTM based RNN, the method helps to avoid building an analytic model for specific tool wear machine degradation, overcoming the assumptions made by Hidden Markov Models, Kalman filter, and Particle filter based approaches. The proposed approach is tested using experiments performed on a milling machine. We have demonstrated one-step and two-step look ahead cutting tool state prediction using online indirect measurements obtained from vibration signals. Additionally, the study also estimates remaining useful life (RUL) of a machine cutting tool insert through generative RNN. The experimental results show that our approach, applying the LSTM to model system observation and transition function is able to outperform the functions modeled with a simple RNN.


title: Genetic Deep Learning for Lung Cancer Screening

abstract: Convolutional neural networks (CNNs) have shown great promise in improving computer aided detection (CADe). From classifying tumors found via mammography as benign or malignant to automated detection of colorectal polyps in CT colonography, these advances have helped reduce the need for further evaluation with invasive testing and prevent errors from missed diagnoses by acting as a second observer in today's fast paced and high volume clinical environment. CADe methods have become faster and more precise thanks to innovations in deep learning over the past several years. With advancements such as the inception module and utilization of residual connections, the approach to designing CNN architectures has become an art. It is customary to use proven models and fine tune them for particular tasks given a dataset, often requiring tedious work. We investigated using a genetic algorithm (GA) to conduct a neural architectural search (NAS) to generate a novel CNN architecture to find early stage lung cancer in chest x-rays (CXR). Using a dataset of over twelve thousand biopsy proven cases of lung cancer, the trained classification model achieved an accuracy of 97.15% with a PPV of 99.88% and a NPV of 94.81%, beating models such as Inception-V3 and ResNet-152 while simultaneously reducing the number of parameters a factor of 4 and 14, respectively.


title: Flow in bounded and unbounded pore networks with different connectivity

abstract: This work is concerned with the intricate interplay between node or pore pressures and connection or throat conductivities in flow or pore networks. A setting similar to pore networks is given by fracture networks. Recently, a non-local generalization of Darcy's law for flow and transport in porous media was presented in the context of unbounded or periodic pore networks. In this work, we first outline a robust method for the extraction of the hydraulic conductivity distribution, which is at the heart of the non-local Darcy formulation. Second, a theory for mean pressure and flow in bounded networks is outlined. Predictions of that theory are validated against numerical network results and it is demonstrated that the theory works well for networks with high connectivity involving pores with high coordination numbers. For other networks, improvements to the outlined theory are proposed and their accuracy is assessed.


title: A Quantitative Study on Average Number of Spins of Two-Player Dreidel

abstract: We give an excellent approximation of the average number of spins of a simplified version of a two-player version of the game Dreidel. We also make a conjecture on the average number of spins of the full version of the game.


title: G-flocking: Flocking Model Optimization based on Genetic Framework

abstract: Flocking model has been widely used to control robotic swarm. However, with the increasing scalability, there exist complex conflicts for robotic swarm in autonomous navigation, brought by internal pattern maintenance, external environment changes, and target area orientation, which results in poor stability and adaptability. Hence, optimizing the flocking model for robotic swarm in autonomous navigation is an important and meaningful research domain.


title: Two improved Gauss-Seidel projection methods for Landau-Lifshitz-Gilbert equation

abstract: In this paper, we present two improved Gauss-Seidel projection methods with unconditional stability. The first method updates the gyromagnetic term and the damping term simultaneously and follows by a projection step. The second method introduces two sets of approximate solutions, where we update the gyromagnetic term and the damping term simultaneously for one set of approximate solutions and apply the projection step to the other set of approximate solutions in an alternating manner. Compared to the original Gauss-Seidel projection method which has to solve heat equations $7$ times at each time step, the improved methods solve heat equations $5$ times and $3$ times, respectively. First-order accuracy in time and second-order accuracy in space are verified by examples in both 1D and 3D. In addition, unconditional stability with respect to both the grid size and the damping parameter is confirmed numerically. Application of both methods to a realistic material is also presented with hysteresis loops and magnetization profiles. Compared with the original method, the recorded running times suggest that savings of both methods are about $2/7$ and $4/7$ for the same accuracy requirement, respectively.


title: A Benchmark on Tricks for Large-scale Image Retrieval

abstract: Many studies have been performed on metric learning, which has become a key ingredient in top-performing methods of instance-level image retrieval. Meanwhile, less attention has been paid to pre-processing and post-processing tricks that can significantly boost performance. Furthermore, we found that most previous studies used small scale datasets to simplify processing. Because the behavior of a feature representation in a deep learning model depends on both domain and data, it is important to understand how model behave in large-scale environments when a proper combination of retrieval tricks is used. In this paper, we extensively analyze the effect of well-known pre-processing, post-processing tricks, and their combination for large-scale image retrieval. We found that proper use of these tricks can significantly improve model performance without necessitating complex architecture or introducing loss, as confirmed by achieving a competitive result on the Google Landmark Retrieval Challenge 2019.


title: SlideVaR: a risk measure with variable risk attitudes

abstract: To find a trade-off between profitability and prudence, financial practitioners need to choose appropriate risk measures. Two key points are: Firstly, investors' risk attitudes under uncertainty conditions should be an important reference for risk measures. Secondly, risk attitudes are not absolute. For different market performance, investors have different risk attitudes. We proposed a new risk measure named SlideVaR which sufficiently reflects the different subjective attitudes of investors and the impact of market changes on investors' attitudes. We proposed the concept of risk-tail region and risk-tail sub-additivity and proved that SlideVaR satisfies several important mathematical properties. Moreover, SlideVaR has a simple and intuitive form of expression for practical application. Several simulate and empirical computations show that SlideVaR has obvious advantages in markets where the state changes frequently.


title: Master equations and Quasi-normal modes of spin-3/2 fields in Schwarzschild (A)dS black hole spacetimes

abstract: In this work we consider spin-3/2 fields in Schwarzschild (A)dS black hole spacetimes. As this spacetime is different from the Ricci-flat cases, it is necessary to modify the covariant derivative to the supercovariant derivative in order to maintain the gauge symmetry, as noted in our earlier works, where this is done here by including terms related to the cosmological constant. Together with the eigenmodes for spin-3/2 fields on an $n$-sphere, we derive the master radial equations, which have effective potentials that in general include an explicitly imaginary part and energy dependence. We found that for the asymptotically AdS cases, the explicit imaginary dependence automatically disappears, because of the negative cosmological constant. We take this case as an example and obtain the quasi-normal modes by using the Horowitz-Hubeny method [6].


title: Many could be better than all: A novel instance-oriented algorithm for Multi-modal Multi-label problem

abstract: With the emergence of diverse data collection techniques, objects in real applications can be represented as multi-modal features. What's more, objects may have multiple semantic meanings. Multi-modal and Multi-label (MMML) problem becomes a universal phenomenon. The quality of data collected from different channels are inconsistent and some of them may not benefit for prediction. In real life, not all the modalities are needed for prediction. As a result, we propose a novel instance-oriented Multi-modal Classifier Chains (MCC) algorithm for MMML problem, which can make convince prediction with partial modalities. MCC extracts different modalities for different instances in the testing phase. Extensive experiments are performed on one real-world herbs dataset and two public datasets to validate our proposed algorithm, which reveals that it may be better to extract many instead of all of the modalities at hand.


title: Extreme sensitivity refractive index sensor based on lithography-free metal-dielectric cavity

abstract: The use of relatively simple structures to achieve high performance refractive index sensors has always been urgently needed. In this work, we propose a lithography-free sensing platform based on metal-dielectric cavity, the sensitivity of our device can reach 1456700 nm/RIU for solution and 1596700 nm/RIU for solid material, and the FOM can be up to 1234500 /RIU for solution and 1900800 /RIU for solid material, which both are much higher than most sensing methods. This sensor has excellent sensing performance in both TE and TM light, and suitable for integrated microfluidic channels. Our scheme uses a multi-layers structure with a 10 nm gold film sandwiched between prism and analyte, and shows a great potential for low-cost sensing with high performance.


title: On the long time asymptotic behavior of the modified Korteweg de Vries equation with step-like initial data

abstract: We study the long time asymptotic behaviour of the solution $q(x,t) $, to the modified Korteweg de Vries equation (MKDV) $q_t+6q^2q_x+q_{xxx}=0$ with step-like initial datum q(x,t=0)->c_- for x->-infinity and q(x,t=0)->c_+ for x-> +infinity. For the exact shock initial data q(x,t=0)=c_- for x<0 and q(x,t=0)=c_+ for x>0 the solution develops an oscillatory regions called dispersive shock wave that connects the two constant regions c_+ and c_-. We show that the dispersive shock wave is described by a modulated periodic travelling wave solution of the MKDV equation where the modulation parameters evolve according to the Whitham modulation equation. The oscillatory region is expanding within a cone in the $(x,t) plane defined as -6c_{-}^2+12c_{+}^2<x/t<4c_{-}^2+2c_{+}^2, with t\gg 1. For step like initial data we show that the solution decomposes for long times in three main regions: - a region where solitons and breathers travel with positive velocities on a constant background c_+; - an expanding oscillatory region that can contain generically breathers; - a region of breathers travelling with negative velocities on the constant background c_-. When the oscillatory region does not contain breathers, it coincides up to a phase shift with the dispersive shock wave solution obtained for the exact step initial data. The phase shift depends on the solitons, breathers and the radiation of the initial data. This shows that the dispersive shock wave is a coherent structure that interacts in an elastic way with solitons, breathers and radiation.


title: A closer look onto breast density with weakly supervised dense-tissue masks

abstract: This work focuses on the automatic quantification of the breast density from digital mammography imaging. Using only categorical image-wise labels we train a model capable of predicting continuous density percentage as well as providing a pixel wise support frit for the dense region. In particular we propose a weakly supervised loss linking the density percentage to the mask size.


title: Deep convolution neural network model for automatic risk assessment of patients with non-metastatic nasopharyngeal carcinoma

abstract: Nasopharyngeal Carcinoma (NPC) is endemic cancer in the south-east Asia. With the advent of intensity-modulated radiotherapy excellent locoregional control are being achieved. Consequently, this had led to pretreatment clinical staging classification to be less prognostic of outcomes such as recurrence after treatment. Alternative pretreatment strategies for prognosis of NPC after treatment are needed to provide better risk stratification for NPC. In this study we proposed a deep convolution neural network model based on contrast-enhanced T1 (T1C) and T2 weighted (T2) MRI scan to predict 3-year disease progression of NPC patient after primary treatment. We retrospective obtained 596 non-metastatic NPC patients from four independent centres in Hong Kong and China. Our model first performs a segmentation of the primary NPC tumour to localise the tumour, and then uses the segmentation mask as prior knowledge along with the T1C and T2 scan to classify 3-year disease progression. For segmentation, we adapted and modified a VNet to encode both T1C and T2 scan and also encoding to classify T and overall stage classification. Our modified network performed better than baseline VNet with T1C and network with no T and overall classification. The classification result for 3-year disease progression achieved an AUC of 0.828 in the validation set but did not generalised well for the test set which consist of 146 patients from a different centre to the training data (AUC = 0.69). Our preliminary results show that deep learning may offer prognostication of disease progression of NPC patients after treatment. One advantage of our model is that it does not require manual segmentation of the region of interest, hence reducing clinician's burden. Further development in generalising multicentre data set are needed before clinical application of deep learning models in assessment of NPC.


title: Application of the Hylleraas-$B$-spline basis set: Nonrelativistic Bethe logarithm of helium

abstract: In this work, we report an application of Hylleraas-$B$-spline basis set to the nonrelativistic Bethe logarithm calculation of helium. The Bethe logarithm for $n\ ^1S$, $n$ up to 10, states of helium are calculated with a precision of 7-9 significant digits in two gauges, which greatly improves the accuracy of the traditional $B$-spline basis set. In addition, to deal with the numerical linear correlation problem in Bethe logarithm calculation, we developed a multiple-precision generalized symmetric eigenvalue problem solver (MGSEPS). This program may be very useful to precision calculations.


title: Schauder Bases Having Many Good Block Basic Sequences

abstract: In the study of asymptotic geometry in Banach spaces, a basic sequence which gives rise to a spreading model has been called a good sequence. It is well known that every normalized basic sequence in a Banach space has a subsequence which is good. We investigate the assumption that every normalized block tree relative to a basis has a branch which is good. This combinatorial property turns out to be very strong and is equivalent to the space being $1$-asymptotic $\ell_p$ for some $1\leq p\leq\infty$. We also investigate the even stronger assumption that every block basic sequence of a basis is good. Finally, using the Hindman-Milliken-Taylor theorem, we prove a stabilization theorem which produces a basic sequence all of whose normalized constant coefficient block basic sequences are good, and we present an application of this stabilization.


title: Uncertainty in Model-Agnostic Meta-Learning using Variational Inference

abstract: We introduce a new, rigorously-formulated Bayesian meta-learning algorithm that learns a probability distribution of model parameter prior for few-shot learning. The proposed algorithm employs a gradient-based variational inference to infer the posterior of model parameters to a new task. Our algorithm can be applied to any model architecture and can be implemented in various machine learning paradigms, including regression and classification. We show that the models trained with our proposed meta-learning algorithm are well calibrated and accurate, with state-of-the-art calibration and classification results on two few-shot classification benchmarks (Omniglot and Mini-ImageNet), and competitive results in a multi-modal task-distribution regression.


title: $\mathbb{L}^p$-solutions for stochastic Navier-Stokes equations with jump noise

abstract: We study the existence and uniqueness of solutions of 2D Stochastic Navier-Stokes equation with space irregular jump noise for initial data in certain Sobolev spaces of negative order. Comparing with the Galerkin approximation method, the main advantage of this work is to use an $\mathbb{L}^p$-setting to obtain the solution under much weaker assumptions on the noise and the initial condition.


title: Energy Beamforming for Wireless Information and Power Transfer in Backscatter Multiuser Networks

abstract: Wirelessly powered backscatter communication (WPBC) has been identified as a promising technology for low-power communication systems, which can reap the benefits of energy beamforming to improve energy transfer efficiency. Existing studies on energy beamforming fail to simultaneously take energy supply and information transfer in WPBC into account. This paper takes the first step to fill this gap, by considering the trade-off between the energy harvesting rate and achievable rate using estimated backscatter channel state information (BS-CSI). To ensure reliable communication and user fairness, we formulate the energy beamforming design as a max-min optimization problem by maximizing the minimum achievable rate for all tags subject to the energy constraint. We derive the closed-form expression of the energy harvesting rate, as well as the lower bound of the ergodic achievable rate. Our numerical results indicate that our scheme can significantly outperform state-of-the-art energy beamforming schemes. Additionally, the proposed scheme achieves performance comparable to that obtained via beamforming with perfect CSI.


title: Maximal inequalities and exponential estimates for stochastic convolutions driven by L\'{e}vy-type processes in Banach spaces with application to stochastic quasi-geostrophic equations

abstract: We present remarkably simple proofs of Burkholder-Davis-Gundy inequalities for stochastic integrals and maximal inequalities for stochastic convolutions in Banach spaces driven by L\'{e}vy-type processes. Exponential estimates for stochastic convolutions are obtained and two versions of It\^{o}'s formula in Banach spaces are also derived. Based on the obtained maximal inequality, the existence and uniqueness of mild solutions of stochastic quasi-geostrophic equation with L\'{e}vy noise is established.


title: A Greedy Algorithm for Matrix Recovery with Subspace Prior Information

abstract: Matrix recovery is the problem of recovering a low-rank matrix from a few linear measurements. Recently, this problem has gained a lot of attention as it is employed in many applications such as Netflix prize problem, seismic data interpolation and collaborative filtering. In these applications, one might access to additional prior information about the column and row spaces of the matrix. These extra information can potentially enhance the matrix recovery performance. In this paper, we propose an efficient greedy algorithm that exploits prior information in the recovery procedure. The performance of the proposed algorithm is measured in terms of the rank restricted isometry property (R-RIP). Our proposed algorithm with prior subspace information converges under a more milder condition on the R-RIP in compared with the case that we do not use prior information. Additionally, our algorithm performs much better than nuclear norm minimization in terms of both computational complexity and success rate.


title: Absolute continuity and numerical approximation of stochastic Cahn--Hilliard equation with unbounded noise diffusion

abstract: In this article, we develop and analyze a full discretization, based on the spatial spectral Galerkin method and the temporal drift implicit Euler scheme, for the stochastic Cahn--Hilliard equation driven by multiplicative space-time white noise. By introducing an appropriate decomposition of the numerical approximation, we first use the factorization method to deduce the a priori estimate and regularity estimate of the proposed full discretization. With the help of the variation approach, we then obtain the sharp spatial and temporal convergence rate in negative Sobolev space in mean square sense. Furthermore, the sharp mean square convergence rates in both time and space are derived via the Sobolev interpolation inequality and semigroup theory. To the best of our knowledge, this is the first result on the convergence rate of temporally and fully discrete numerical methods for the stochastic Cahn--Hilliard equation driven by multiplicative space-time white noise.


title: Phase transitions and entropy force of charged de Sitter black holes with cloud of string and quintessence

abstract: In this paper, we investigate the combined effects of the cloud of strings and quintessence on the thermodynamics of a Reissner-Nordstr\"om-de Sitter black hole. Based on the equivalent thermodynamic quantities considering the correlation between the black hole horizon and the cosmological horizon, we extensively discuss the phase transitions of the space-time. Our analysis prove that similar to the case in AdS space-time, second-order phase transitions could take place under certain conditions, with the absence of first-order phase transition in the charged de Sitter black holes with cloud of string and quintessence. The effects of different thermodynamic quantities on the phase transitions are also quantitatively discussed, which provides a new approach to study the thermodynamic qualities of unstable dS space-time. Focusing on the entropy force generated by the interaction between the black hole horizon and the cosmological horizon, as well as the Lennard-Jones force between two particles, our results demonstrate the strong degeneracy between the entropy force of the two horizons and the ratio of the horizon positions, which follows the surprisingly similar law given the relation between the Lennard-Jones force and the ratio of two particle positions. Therefore, the study of the entropy force between two horizons, is not only beneficial to the deep exploration of the three modes of cosmic evolution, but also helpful to understand the correlation between the microstates of particles in black holes and those in ordinary thermodynamic systems.


title: On well-posedness for the inhomogeneous nonlinear Schr\"{o}dinger equation in the critical case

abstract: In this paper we study the well-posedness for the inhomogeneous nonlinear Schr\"odinger equation $i\partial_{t}u+\Delta u=\lambda|x|^{-\alpha}|u|^{\beta}u$ in Sobolev spaces $H^s$, $s\geq0$. The well-posedness theory for this model has been intensively studied in recent years, but much less is understood compared to the classical NLS model where $\alpha=0$. The conventional approach does not work particularly for the critical cases $\beta=\frac{4-2\alpha}{d-2s}$. It is still an open problem. The main contribution of this paper is to develop the well-posedness theory in this critical case (as well as non-critical cases). To this end, we approach to the matter in a new way based on a weighted $L^p$ setting which seems to be more suitable to perform a finer analysis for this model. This is because it makes it possible to handle the singularity $|x|^{-\alpha}$ in the nonlinearity more effectively. This observation is a core of our approach that covers the critical case successfully.


title: Thermal instability through the outer half of quasi-static spherically symmetric molecular clumps and cores

abstract: Thermal instability (TI) is a trigger mechanism, which can explain formation of condensations through some regions of the interstellar clouds. Our goal here is to investigate some conditions for occurrence of TI and formation of pre-condensations through the outer half a quasi-static spherical molecular clump or core. The inner half is nearly singular and ambiguous so out of scope of this research. We consider a spherically symmetric molecular cloud in quasi-static and thermally equilibrium state, and we use the linear perturbation method to investigate occurrence of TI through its outer half. The origin of perturbations are assumed to be as Inside-Rush-Perturbation (IRP) with outward perturbed velocity at inner region of the cloud, and Outside-Rush-Perturbation (ORP) with inward perturbed velocity originated at the outer parts of the cloud. The local thermal balance at the outer half of the molecular cloud leads to a local loosely constrained power-law relation between the pressure and density as $p \propto \rho^{1+\chi}$, where $-0.4\lesssim \chi\lesssim 0.05$ depends on the functional form of the net cooling function. Physically, the value of $\chi$ depends on the power of dependence of magnetic field to the density, $\eta$, and also on the value of magnetic field gradient, $\zeta$. For strong magnetic field (smaller $\eta$) and/or large field gradient (greater $\zeta$), the value of $\chi$ decreases, and vice versa. The results show that increasing of the value of $\chi$ leads to form a flatter density profiles at the thermally equilibrium outer half of the molecular clump or core, and to occur more thermally unstable IRP and ORP with smaller growth time-scales, and vice versa.


title: Curvature and $L^p$ Bergman spaces on complex submanifolds in ${\mathbb C}^N$

abstract: Let $M$ be a closed complex submanifold in ${\mathbb C}^N$ with the complete K\"ahler metric induced by the Euclidean metric. Several finiteness theorems on the $L^p$ Bergman space of holomorphic sections of a given Hermitian line bundle $L$ over $M$ and the associated $L^2$ cohomology groups are obtained. Some infiniteness theorems are also given in order to test the accuracy of finiteness theorems. As applications we obtain some rigidity results concerning growth of curvatures.


title: $\ell^1$-Cospectrality of graphs

abstract: The following problem has been proposed in [Research problems from the Aveiro workshop on graph spectra, {\em Linear Algebra and its Applications}, {\bf 423} (2007) 172-181.]:\\ (Problem AWGS.4) Let $G_n$ and $G'_n$ be two nonisomorphic graphs on $n$ vertices with spectra $$\lambda_1 \geq \lambda_2 \geq \cdots \geq \lambda_n \;\;\;\text{and}\;\;\; \lambda'_1 \geq \lambda'_2 \geq \cdots \geq \lambda'_n,$$ respectively. Define the distance between the spectra of $G_n$ and $G'_n$ as $$\lambda(G_n,G'_n) =\sum_{i=1}^n (\lambda_i-\lambda'_i)^2 \;\;\; \big(\text{or use}\; \sum_{i=1}^n|\lambda_i-\lambda'_i|\big).$$ %Let $\epsilon$ be a nonnegative number. Graphs $G_n$ and $G'_n$ are $\epsilon$-cospectral if $\lambda(G_n,G'_n)\leq \epsilon$. Thus, $G_n$ %and $G'_n$ are $0$-cospectral if and only if $G_n$ and $G'_n$ are cospectral. Define the cospectrality of $G_n$ by $$\text{cs}(G_n) = \min\{\lambda(G_n,G'_n) \;:\; G'_n \;\;\text{not isomorphic to} \; G_n\}.$$ %Thus $\text{cs}(G_n) = 0$ if and only if $G_n$ has a cospectral mate. %This function measures how far apart the spectrum of a graph with $n$ vertices can be from the %spectrum of any other graph with $n$ vertices.\\ {\bf Problem A.} Investigate $\text{cs}(G_n)$ for special classes of graphs. In this paper we study Problem A for certain graphs with respect to the $\ell^1$-norm, i.e. $\sigma(G_n,G'_n)=\sum_{i=1}^n|\lambda_i-\lambda'_i|$. We find $\text{cs}(K_n)$, $\text{cs}(nK_1)$, $\text{cs}(K_2+(n-2)K_1)$ ($n\geq 2$), $\text{cs}(K_{n,n})$ and $\text{cs}(K_{n,n+1})$, where $K_n, nK_1, K_2+(n-2)K_1, K_{n,m} $ denote the complete graph on $n$ vertices, the null graph on $n$ vertices, the disjoint union of the $K_2$ with $n-2$ isolated vertices ($n\geq 2$), and the complete bipartite graph with parts of sizes $n$ and $m$, respectively.


title: New approach to scalar products of Bethe vectors

abstract: We consider quantum integrable models solvable by the algebraic Bethe ansatz and possessing $\mathfrak{gl}(2)$-invariant $R$-matrix. We study the models of both periodic boundary conditions and boundary conditions based on reflection algebra. We present a new method to calculate the scalar products based on formula of an action of transfer matrix of a model onto Bethe vector. Using this method we identify some coefficient in the multiple action of the transfer matrix with the scalar product between on-shell and off-shell Bethe vectors. This allows us to find determinant representation of the scalar products in both types of boundary conditions.


title: Narrow, Intrinsic CIV Absorption in Quasars as it Relates to Outflows, Orientation, and Radio Properties

abstract: This work provides evidence that a large fraction of \ion{C}{IV} narrow absorption lines (NALs) seen along the line of sight to distant quasars are due to accretion disk winds, while also seeking to understand the relationship between NALs and certain quasar-intrinsic properties. We extend the results from past work in the literature using $\sim105,000$ NALs from a sample of $\sim58,000$ SDSS quasars. The primary results of this work are summarized as follows: (1) the velocity distribution (${\rm d}N/{\rm d}\beta$) of NALs is not a function of radio loudness (or even detection) once marginalized by optical/UV luminosity; (2) there are significant differences in the number and distribution of NALs as a function of both radio spectral index and optical/UV luminosity, and these two findings are not entirely interdependent; (3) improvements in quasar systemic redshift measurements and differences in the NAL distribution as a combined function of optical luminosity and radio spectral index together provide evidence that a significant portion of NALs are due to outflows; (4) the results are consistent with standard models of accretion disk winds governed by the $L_{\rm UV}$-$\alpha_{ox}$ relationship and line-of-sight orientation indicated by radio spectral index, and (5) possibly support a magnetically arrested disk model as an explanation for the semi-stochastic nature of strong radio emission in a fraction of quasars.


title: Directions sets: A generalization of ratio sets

abstract: For every integer $k \geq 2$ and every $A \subseteq \mathbb{N}$, we define the \emph{$k$-directions sets} of $A$ as $D^k(A) := \{{\bf a} / \|{\bf a}\| : {\bf a} \in A^k\}$ and $D^{\underline{k}}(A) := \{{\bf a} / \|{\bf a}\| : {\bf a} \in A^{\underline{k}}\}$, where $\|\cdot\|$ is the Euclidean norm and $A^{\underline{k}} := \{{\bf a} \in A^k : a_i \neq a_j \text{ for all } i \neq j\}$. Via an appropriate homeomorphism, $D^k(A)$ is a generalization of the \emph{ratio set} $R(A) := \{a / b : a,b \in A\}$, which has been studied by many authors. We study $D^k(A)$ and $D^{\underline{k}}(A)$ as subspaces of $S^{k-1} := \{{\bf x} \in [0,1]^k : \|{\bf x}\| = 1\}$. In~particular, generalizing a result of Bukor and T\'oth, we provide a characterization of the sets $X \subseteq S^{k-1}$ such that there exists $A \subseteq \mathbb{N}$ satisfying $D^{\underline{k}}(A)^\prime = X$, where $Y^\prime$ denotes the set of accumulation points of $Y$. Moreover, we provide a simple sufficient condition for $D^k(A)$ to be dense in $S^{k-1}$. We conclude leaving some questions for further research.


title: Spin polarization-scaling quantum maps and channels

abstract: We introduce a spin polarization-scaling map for spin-$j$ particles, whose physical meaning is the decrease of spin polarization along three mutually orthogonal axes. We find conditions on three scaling parameters under which the map is positive, completely positive, entanglement breaking, 2-tensor-stable positive, and 2-locally entanglement annihilating. The results are specified for maps on spin-$1$ particles. The difference from the case of spin-$\frac{1}{2}$ particles is emphasized.


title: Multi-task Self-Supervised Learning for Human Activity Detection

abstract: Deep learning methods are successfully used in applications pertaining to ubiquitous computing, health, and well-being. Specifically, the area of human activity recognition (HAR) is primarily transformed by the convolutional and recurrent neural networks, thanks to their ability to learn semantic representations from raw input. However, to extract generalizable features, massive amounts of well-curated data are required, which is a notoriously challenging task; hindered by privacy issues, and annotation costs. Therefore, unsupervised representation learning is of prime importance to leverage the vast amount of unlabeled data produced by smart devices. In this work, we propose a novel self-supervised technique for feature learning from sensory data that does not require access to any form of semantic labels. We learn a multi-task temporal convolutional network to recognize transformations applied on an input signal. By exploiting these transformations, we demonstrate that simple auxiliary tasks of the binary classification result in a strong supervisory signal for extracting useful features for the downstream task. We extensively evaluate the proposed approach on several publicly available datasets for smartphone-based HAR in unsupervised, semi-supervised, and transfer learning settings. Our method achieves performance levels superior to or comparable with fully-supervised networks, and it performs significantly better than autoencoders. Notably, for the semi-supervised case, the self-supervised features substantially boost the detection rate by attaining a kappa score between 0.7-0.8 with only 10 labeled examples per class. We get similar impressive performance even if the features are transferred from a different data source. While this paper focuses on HAR as the application domain, the proposed technique is general and could be applied to a wide variety of problems in other areas.


title: Blind Deblurring Using GANs

abstract: Deblurring is the task of restoring a blurred image to a sharp one, retrieving the information lost due to the blur. In blind deblurring we have no information regarding the blur kernel. As deblurring can be considered as an image to image translation task, deep learning based solutions, including the ones which use GAN (Generative Adversarial Network), have been proven effective for deblurring. Most of them have an encoder-decoder structure. Our objective is to try different GAN structures and improve its performance through various modifications to the existing structure for supervised deblurring. In supervised deblurring we have pairs of blurred and their corresponding sharp images, while in the unsupervised case we have a set of blurred and sharp images but their is no correspondence between them. Modifications to the structures is done to improve the global perception of the model. As blur is non-uniform in nature, for deblurring we require global information of the entire image, whereas convolution used in CNN is able to provide only local perception. Deep models can be used to improve global perception but due to large number of parameters it becomes difficult for it to converge and inference time increases, to solve this we propose the use of attention module (non-local block) which was previously used in language translation and other image to image translation tasks in deblurring. Use of residual connection also improves the performance of deblurring as features from the lower layers are added to the upper layers of the model. It has been found that classical losses like L1, L2, and perceptual loss also help in training of GANs when added together with adversarial loss. We also concatenate edge information of the image to observe its effects on deblurring. We also use feedback modules to retain long term dependencies


title: Context Model for Pedestrian Intention Prediction using Factored Latent-Dynamic Conditional Random Fields

abstract: Smooth handling of pedestrian interactions is a key requirement for Autonomous Vehicles (AV) and Advanced Driver Assistance Systems (ADAS). Such systems call for early and accurate prediction of a pedestrian's crossing/not-crossing behaviour in front of the vehicle. Existing approaches to pedestrian behaviour prediction make use of pedestrian motion, his/her location in a scene and static context variables such as traffic lights, zebra crossings etc. We stress on the necessity of early prediction for smooth operation of such systems. We introduce the influence of vehicle interactions on pedestrian intention for this purpose. In this paper, we show a discernible advance in prediction time aided by the inclusion of such vehicle interaction context. We apply our methods to two different datasets, one in-house collected - NTU dataset and another public real-life benchmark - JAAD dataset. We also propose a generic graphical model Factored Latent-Dynamic Conditional Random Fields (FLDCRF) for single and multi-label sequence prediction as well as joint interaction modeling tasks. FLDCRF outperforms Long Short-Term Memory (LSTM) networks across the datasets ($\sim$100 sequences per dataset) over identical time-series features. While the existing best system predicts pedestrian stopping behaviour with 70\% accuracy 0.38 seconds before the actual events, our system achieves such accuracy at least 0.9 seconds on an average before the actual events across datasets.


title: Selective Machine Learning of the Average Treatment Effect with an Invalid Instrumental Variable

abstract: Instrumental variable methods have been widely used to identify causal effects in the presence of unmeasured confounding. A key identification condition known as the exclusion restriction states that the instrument cannot have a direct effect on the outcome which is not mediated by the exposure in view. In the health and social sciences, such an assumption is often not credible. To address this concern, we consider identification conditions of the population average treatment effect with an invalid instrumental variable which does not satisfy the exclusion restriction, and derive the efficient influence function targeting the identifying functional under a nonparametric observed data model. We propose a novel multiply robust locally efficient estimator of the average treatment effect that is consistent in the union of multiple parametric nuisance models, as well as a multiply debiased machine learning estimator for which the nuisance parameters are estimated using generic machine learning methods, that effectively exploit various forms of linear or nonlinear structured sparsity in the nuisance parameter space. When one cannot be confident that any of these machine learners is consistent at sufficiently fast rates to ensure $\surd{n}$-consistency for the average treatment effect, we introduce a new criteria for selective machine learning which leverages the multiple robustness property in order to ensure small bias. The proposed methods are illustrated through extensive simulations and a data analysis evaluating the causal effect of 401(k) participation on savings.


title: Tidal radii of main sequence stars -- II. Simulation methodology and the character of full tidal disruptions

abstract: This is the second in a series of papers presenting the results of fully general relativistic simulations of stellar tidal disruptions in which the stars' initial states are realistic main-sequence models. We consider eight different stellar masses, from $0.15~{\rm M}_\odot$ to $10~{\rm M}_\odot$. In the first paper (Ryu et al. 2019a), we gave an overview of this program and discussed the principal observational implications of our work. Here we describe our calculational method and provide details about the outcomes of full disruptions. We find that, relative to the traditional order-of-magnitude estimate $r_{\rm t}$, the physical tidal radius of low-mass stars is larger by tens of percent, while for high-mass stars ($M_{\star} \gtrsim1~ {\rm M}_\odot$) it is smaller by a factor $2-2.5$. The traditional estimate of the range of energies found in the debris is approximately accurate for low-mass stars, but is a factor $\sim 2$ too small for high-mass stars; in addition, the energy distribution for high-mass stars has significant wings. For all stars undergoing tidal encounters, we find that mass-loss continues for a long time because the ${\it instantaneous}$ tidal radius, the distance out to which the black hole's tidal gravity competes with the instantaneous stellar gravity at the star's surface, stays comparable to the distance to the black hole until the star has reached $O(10)~r_{\rm t}$. These findings indicate significant failings in the popular "frozen-in" approximation.


title: A Particle Filter for Stochastic Advection by Lie Transport (SALT): A case study for the damped and forced incompressible 2D Euler equation

abstract: In this work, we combine a stochastic model reduction with a particle filter augmented with tempering and jittering, and apply the combined algorithm to a damped and forced incompressible 2D Euler dynamics defined on a simply connected bounded domain. We show that using the combined algorithm, we are able to assimilate data from a reference system state (the ``truth") modelled by a highly resolved numerical solution of the flow that has roughly $3.1\times10^6$ degrees of freedom, into a stochastic system having two orders of magnitude less degrees of freedom, which is able to approximate the true state reasonably accurately for $5$ large scale eddy turnover times, using modest computational hardware. The model reduction is performed through the introduction of a stochastic advection by Lie transport (SALT) model as the signal on a coarser resolution. The SALT approach was introduced as a general theory using a geometric mechanics framework from Holm, Proc. Roy. Soc. A (2015). This work follows on the numerical implementation for SALT presented by Cotter et al, SIAM Multiscale Model. Sim. (2019) for the flow in consideration. The model reduction is substantial: The reduced SALT model has $4.9\times 10^4$ degrees of freedom. Results from reliability tests on the assimilated system are also presented.


title: Effective and efficient ROI-wise visual encoding using an end-to-end CNN regression model and selective optimization

abstract: Recently, visual encoding based on functional magnetic resonance imaging (fMRI) have realized many achievements with the rapid development of deep network computation. Visual encoding model is aimed at predicting brain activity in response to presented image stimuli. Currently, visual encoding is accomplished mainly by firstly extracting image features through convolutional neural network (CNN) model pre-trained on computer vision task, and secondly training a linear regression model to map specific layer of CNN features to each voxel, namely voxel-wise encoding. However, the two-step manner model, essentially, is hard to determine which kind of well features are well linearly matched for beforehand unknown fMRI data with little understanding of human visual representation. Analogizing computer vision mostly related human vision, we proposed the end-to-end convolution regression model (ETECRM) in the region of interest (ROI)-wise manner to accomplish effective and efficient visual encoding. The end-to-end manner was introduced to make the model automatically learn better matching features to improve encoding performance. The ROI-wise manner was used to improve the encoding efficiency for many voxels. In addition, we designed the selective optimization including self-adapting weight learning and weighted correlation loss, noise regularization to avoid interfering of ineffective voxels in ROI-wise encoding. Experiment demonstrated that the proposed model obtained better predicting accuracy than the two-step manner of encoding models. Comparative analysis implied that end-to-end manner and large volume of fMRI data may drive the future development of visual encoding.


title: Removing the Wigner bound in non-perturbative effective field theory

abstract: The Wigner bound, setting an upper limit on the scattering effective range, is examined at different orders of contact effective field theory. Using cutoff regulator we show that the bound loosens when higher orders of the theory are considered. For a sharp and a Gaussian regulators, we conjecture an analytic formula for the dependence of the Wigner bound on the theory's order. It follows that the bound vanishes in the limit of infinite order. Using a concrete numerical example we demonstrate that the above surmise still holds after renormalization at finite cutoff. Studying the 3-body system with this example, we have found that limiting the permissible range of cutoffs by the Wigner bound, we avoid the Thomas collapse, and don't need to promote the 3-body force to leading order.


title: Q-MIND: Defeating Stealthy DoS Attacks in SDN with a Machine-learning based Defense Framework

abstract: Software Defined Networking (SDN) enables flexible and scalable network control and management. However, it also introduces new vulnerabilities that can be exploited by attackers. In particular, low-rate and slow or stealthy Denial-of-Service (DoS) attacks are recently attracting attention from researchers because of their detection challenges. In this paper, we propose a novel machine learning based defense framework named Q-MIND, to effectively detect and mitigate stealthy DoS attacks in SDN-based networks. We first analyze the adversary model of stealthy DoS attacks, the related vulnerabilities in SDN-based networks and the key characteristics of stealthy DoS attacks. Next, we describe and analyze an anomaly detection system that uses a Reinforcement Learning-based approach based on Q-Learning in order to maximize its detection performance. Finally, we outline the complete Q-MIND defense framework that incorporates the optimal policy derived from the Q-Learning agent to efficiently defeat stealthy DoS attacks in SDN-based networks. An extensive comparison of the Q-MIND framework and currently existing methods shows that significant improvements in attack detection and mitigation performance are obtained by Q-MIND.


title: Coping with the delineation of emerging fields: Nanoscience and Nanotechnology as a case study

abstract: Proper field delineation plays an important role in scientometric studies, although it is a tough task. Based on an emerging and interdisciplinary field, nanoscience and nanotechnology, this paper highlights the problem of field delineation. First, we review the related literature. Then, three different approaches to delineate a field of knowledge were applied at three different levels of aggregation: subject category, publication level, and journal level. Expert opinion interviews served to assess the data, and precision and recall of each approach were calculated for comparison. Our findings confirm that field delineation is a complicated issue at both the quantitative and the qualitative level, even when experts validate results.


title: Towards Effective Rebuttal: Listening Comprehension using Corpus-Wide Claim Mining

abstract: Engaging in a live debate requires, among other things, the ability to effectively rebut arguments claimed by your opponent. In particular, this requires identifying these arguments. Here, we suggest doing so by automatically mining claims from a corpus of news articles containing billions of sentences, and searching for them in a given speech. This raises the question of whether such claims indeed correspond to those made in spoken speeches. To this end, we collected a large dataset of $400$ speeches in English discussing $200$ controversial topics, mined claims for each topic, and asked annotators to identify the mined claims mentioned in each speech. Results show that in the vast majority of speeches debaters indeed make use of such claims. In addition, we present several baselines for the automatic detection of mined claims in speeches, forming the basis for future work. All collected data is freely available for research.


title: The matched product of set-theoretical solutions associated with shelves

abstract: We investigate the matched product of solutions associated with right and left shelves. First, we prove that the requirements to provide the matched product of solutions that come from shelves can be simplified. Then we give conditions for left non-degeneracy of the matched product. Later, we compute the structure shelf of the matched product of solutions. Finally, we prove that the structure shelf of the matched product does not depend on the choice of the actions.


title: Variational f-divergence Minimization

abstract: Probabilistic models are often trained by maximum likelihood, which corresponds to minimizing a specific f-divergence between the model and data distribution. In light of recent successes in training Generative Adversarial Networks, alternative non-likelihood training criteria have been proposed. Whilst not necessarily statistically efficient, these alternatives may better match user requirements such as sharp image generation. A general variational method for training probabilistic latent variable models using maximum likelihood is well established; however, how to train latent variable models using other f-divergences is comparatively unknown. We discuss a variational approach that, when combined with the recently introduced Spread Divergence, can be applied to train a large class of latent variable models using any f-divergence.


title: From Linear Algebra to Matrix Groups

abstract: This is an exercise based approach to matrix groups. The idea is to collect a bunch of exercises at one place which anyone with basic knowledge of linear algebra can attempt to solve and learn matrix groups and algebraic groups.


title: Five Generic Processes for Behavior Description in Software Engineering

abstract: Behavior modeling and software architecture specification are attracting more attention in software engineering. Describing both of them in integrated models yields numerous advantages for coping with complexity since the models are platform independent. They can be decomposed to be developed independently by experts of the respective fields, and they are highly reusable and may be subjected to formal analysis. Typically, behavior is defined as the occurrence of an action, a pattern over time, or any change in or movement of an object. In systems studies, there are many different approaches to modeling behavior, such as grounding behavior simultaneously on state transitions, natural language, and flowcharts. These different descriptions make it difficult to compare objects with each other for consistency. This paper attempts to propose some conceptual preliminaries to a definition of behavior in software engineering. The main objective is to clarify the research area concerned with system behavior aspects and to create a common platform for future research. Five generic elementary processes (creating, processing, releasing, receiving, and transferring) are used to form a unifying higher-order process called a thinging machine (TM) that is utilized as a template in modeling behavior of systems. Additionally, a TM includes memory and triggering relations among stages of processes (machines). A TM is applied to many examples from the literature to examine their behavioristic aspects. The results show that a TM is a valuable tool for analyzing and modeling behavior in a system.


title: Escape probabilities of compound renewal processes with drift

abstract: We consider the problem of determining escape probabilities from an interval of a general compound renewal process with drift. This problem is reduced to the solution of a certain integral equation. In an actuarial situation where only negative jumps arise we give a general solution for escape and survival probabilities under Erlang$(n)$ and hypo-exponential arrivals. These ideas are generalized to the class of arrival distributions having rational Laplace transforms. In a general situation with two-sided jumps we also identify important families of solvable cases. A parallelism with the "scale function" of diffusion processes is drawn.


title: Combining closed-loop test generation and execution by means of model checking

abstract: Model checking is an established technique to formally verify automation systems which are required to be trusted. However, for sufficiently complex systems model checking becomes computationally infeasible. On the other hand, testing, which offers less reliability, often does not present a serious computational challenge. Searching for synergies between these two approaches, this paper proposes a framework to ensure reliability of industrial automation systems by means of hybrid use of model checking and testing. This framework represents a way to achieve a trade-off between verification reliability and computational complexity which has not yet been explored in other approaches. Instead of undergoing usual model checking, system requirements are checked only on particular system behaviors which represent a test suite achieving coverage for both the system and the requirements. Then, all stages of the framework support the case of a closed-loop model, where not only the controller, but also the plant is modeled.


title: Constraints on primordial curvature perturbations from primordial black hole dark matter and secondary gravitational waves

abstract: Primordial black holes and secondary gravitational waves can be used to probe the small scale physics at very early time. For secondary gravitational waves produced after the horizon reentry, we derive an analytical formula for the time integral of the source and analytical behavior of the time dependence of the energy density of induced gravitational waves is obtained. By proposing a piecewise power law parametrization for the power spectrum of primordial curvature perturbations, we use the observational constraints on primordial black hole dark matter to obtain an upper bound on the power spectrum, and discuss the test of the model with future space based gravitational wave antenna.


title: First order hyperbolic approach for Anisotropic Diffusion equation

abstract: In this paper, we present a high order finite difference solver for anisotropic diffusion problems based on the first-order hyperbolic system method. In particular, we demonstrate that the construction of a uniformly accurate fifth-order scheme that is independent of the degree of anisotropy is made straightforward by the hyperbolic method with an optimal length scale. We demonstrate that the gradients are computed simultaneously to the same order of accuracy as that of the solution variable by using weight compact finite difference schemes. Furthermore, the approach is extended to improve further the simulation of the magnetized electrons test case previously discussed in Refs.[J. Comput. Phys., 284 (2015) 59-69 and 374 (2018) 1120-1151]. Numerical results indicate that these schemes are capable of delivering high accuracy and the proposed approach is expected to allow the hyperbolic method to be successfully applied to a wide variety of linear and nonlinear problems with anisotropic diffusion.


title: Generalization of Spectrum Differential based Direct Waveform Modification for Voice Conversion

abstract: We present a modification to the spectrum differential based direct waveform modification for voice conversion (DIFFVC) so that it can be directly applied as a waveform generation module to voice conversion models. The recently proposed DIFFVC avoids the use of a vocoder, meanwhile preserves rich spectral details hence capable of generating high quality converted voice. To apply the DIFFVC framework, a model that can estimate the spectral differential from the F0 transformed input speech needs to be trained beforehand. This requirement imposes several constraints, including a limitation on the estimation model to parallel training and the need of extra training on each conversion pair, which make DIFFVC inflexible. Based on the above motivations, we propose a new DIFFVC framework based on an F0 transformation in the residual domain. By performing inverse filtering on the input signal followed by synthesis filtering on the F0 transformed residual signal using the converted spectral features directly, the spectral conversion model does not need to be retrained or capable of predicting the spectral differential. We describe several details that need to be taken care of under this modification, and by applying our proposed method to a non-parallel, variational autoencoder (VAE)-based spectral conversion model, we demonstrate that this framework can be generalized to any spectral conversion model, and experimental evaluations show that it can outperform a baseline framework whose waveform generation process is carried out by a vocoder.


title: Deep learning-based prediction of kinetic parameters from myocardial perfusion MRI

abstract: The quantification of myocardial perfusion MRI has the potential to provide a fast, automated and user-independent assessment of myocardial ischaemia. However, due to the relatively high noise level and low temporal resolution of the acquired data and the complexity of the tracer-kinetic models, the model fitting can yield unreliable parameter estimates. A solution to this problem is the use of Bayesian inference which can incorporate prior knowledge and improve the reliability of the parameter estimation. This, however, uses Markov chain Monte Carlo sampling to approximate the posterior distribution of the kinetic parameters which is extremely time intensive. This work proposes training convolutional networks to directly predict the kinetic parameters from the signal-intensity curves that are trained using estimates obtained from the Bayesian inference. This allows fast estimation of the kinetic parameters with a similar performance to the Bayesian inference.


title: DeepCABAC: A Universal Compression Algorithm for Deep Neural Networks

abstract: The field of video compression has developed some of the most sophisticated and efficient compression algorithms known in the literature, enabling very high compressibility for little loss of information. Whilst some of these techniques are domain specific, many of their underlying principles are universal in that they can be adapted and applied for compressing different types of data. In this work we present DeepCABAC, a compression algorithm for deep neural networks that is based on one of the state-of-the-art video coding techniques. Concretely, it applies a Context-based Adaptive Binary Arithmetic Coder (CABAC) to the network's parameters, which was originally designed for the H.264/AVC video coding standard and became the state-of-the-art for lossless compression. Moreover, DeepCABAC employs a novel quantization scheme that minimizes the rate-distortion function while simultaneously taking the impact of quantization onto the accuracy of the network into account. Experimental results show that DeepCABAC consistently attains higher compression rates than previously proposed coding techniques for neural network compression. For instance, it is able to compress the VGG16 ImageNet model by x63.6 with no loss of accuracy, thus being able to represent the entire network with merely 8.7MB. The source code for encoding and decoding can be found at https://github.com/fraunhoferhhi/DeepCABAC.


title: Quantum Stochastic Processes and the Modelling of Quantum Noise

abstract: This brief article gives an overview of quantum mechanics as a {\em quantum probability theory}. It begins with a review of the basic operator-algebraic elements that connect probability theory with quantum probability theory. Then quantum stochastic processes is formulated as a generalization of stochastic processes within the framework of quantum probability theory. Quantum Markov models from quantum optics are used to explicitly illustrate the underlying abstract concepts and their connections to the quantum regression theorem from quantum optics.


title: Legendre's formula and $p$-adic analysis

abstract: In number theory, we know Legendre's formula $ v_p(n!) = \sum_{k \ge 1} \lfloor \frac{n}{p^k} \rfloor $, which calculates the $p$-adic valuation of the factorial, i.e. the exponent of the greatest power of a prime $p$ that divides $n!$. There is also the second (or alternative) equality $ v_p (n!) = \frac{n-s_p(n)}{p-1} $ where $s_p(n)$ is the $p$-adic weight of $n$ or the sum of digits of $n$ in base $p$. Both kinds of Legendre's formula allow us to determine valuations of the natural number, the odd factorial, binomial coefficients, Catalan numbers, and other combinatorial objects. The article examines the relationship between the $p$-adic valuation and $p$-adic weight and considers their increments. The arithmetic of the $p$-adic increments is proposed.


title: The generalized spin-orbit interaction: a microscopic origin of the {\O}rsted magnetic field

abstract: This work introduces a generalization of the form of the spin-orbit interaction, the generalized spin-orbit interaction (GSOI). It expresses the magnetic field induced by two charged particles moving with a non-zero relative velocity as a field defined at all points in space, and exists in the reference frames of both particles. This is in contrast to spin-orbit interaction theory, in which the generated magnetic field is defined at only one point in space, and exists in the reference frame of one of the two particles. At the macroscopic scale, it is shown that the GSOI theory implies the same form of the \O{}rsted magnetic field produced by a current-carrying wire. However, the theory is incompatible with the microscopic form of the Biot-Savart equation that implies that a charged particle induces a magnetic field by having a non-zero velocity. The implications of the GSOI theory on properties of the \O{}rsted magnetic field in current-carrying atomically thin two-dimensional materials, such as graphene, are discussed. The framework established in this paper aims at re-imagining classical physical concepts in light of an advanced microscopic understanding.


title: Amplitude Retrieval for Channel Estimation of MIMO Systems with One-Bit ADCs

abstract: This letter revisits the channel estimation problem for MIMO systems with one-bit analog-to-digital converters (ADCs) through a novel algorithm--Amplitude Retrieval (AR). Unlike the state-of-the-art methods such as those based on one-bit compressive sensing, AR takes a different approach. It accounts for the lost amplitudes of the one-bit quantized measurements, and performs channel estimation and amplitude completion jointly. This way, the direction information of the propagation paths can be estimated via accurate direction finding algorithms in array processing, e.g., maximum likelihood. The upsot is that AR is able to handle off-grid angles and provide more accurate channel estimates. Simulation results are included to showcase the advantages of AR.


title: Coloring rings

abstract: A ring is a graph $R$ whose vertex set can be partitioned into $k \geq 4$ nonempty sets, $X_1, \dots, X_k$, such that for all $i \in \{1,\dots,k\}$, the set $X_i$ can be ordered as $X_i = \{u_i^1, \dots, u_i^{|X_i|}\}$ so that $X_i \subseteq N_R[u_i^{|X_i|}] \subseteq \dots \subseteq N_R[u_i^1] = X_{i-1} \cup X_i \cup X_{i+1}$. A hyperhole is a ring $R$ such that for all $i \in \{1,\dots,k\}$, $X_i$ is complete to $X_{i-1}\cup X_{i+1}$. In this paper, we prove that the chromatic number of a ring $R$ is equal to the maximum chromatic number of a hyperhole in $R$. Using this result, we give a polynomial-time coloring algorithm for rings. Rings formed one of the basic classes in a decomposition theorem for a class of graphs studied by Boncompagni, Penev, and Vu\v{s}kovi\'c in [Journal of Graph Theory 91 (2019), 192--246]. Using our coloring algorithm for rings, we show that graphs in this larger class can also be colored in polynomial time. Furthermore, we find the optimal $\chi$-bounding function for this larger class of graphs, and we also verify Hadwiger's conjecture for it.


title: Jerk Control of Floating Base Systems with Contact-Stable Parametrised Force Feedback

abstract: Nonlinear controllers for floating base systems in contact with the environment are often framed as quadratic programming (QP) optimization problems. Common drawbacks of such QP based controllers are: the control input often experiences discontinuities; no force feedback from Force/Torque (FT) sensors installed on the robot is taken into account. This paper attempts to address these limitations using jerk based control architectures. The proposed controllers assume the rate-of-change of the joint torques as control input, and exploit the system position, velocity, accelerations, and contact wrenches as measurable quantities. The key ingredient of the presented approach is a one-to-one correspondence between free variables and an inner approximation of the manifold defined by the contact stability constraints. More precisely, the proposed correspondence covers completely the contact stability manifold except for the so-called friction cone, for which there exists a unique correspondence for more than 90% of its elements. The correspondence allows us to transform the underlying constrained optimisation problem into one that is unconstrained. Then, we propose a jerk control framework that exploits the proposed correspondence and uses FT measurements in the control loop. Furthermore, we present Lyapunov stable controllers for the system momentum in the jerk control framework. The approach is validated with simulations and experiments using the iCub humanoid robot.


title: Nefnir: A high accuracy lemmatizer for Icelandic

abstract: Lemmatization, finding the basic morphological form of a word in a corpus, is an important step in many natural language processing tasks when working with morphologically rich languages. We describe and evaluate Nefnir, a new open source lemmatizer for Icelandic. Nefnir uses suffix substitution rules, derived from a large morphological database, to lemmatize tagged text. Evaluation shows that for correctly tagged text, Nefnir obtains an accuracy of 99.55%, and for text tagged with a PoS tagger, the accuracy obtained is 96.88%.


title: Local Differential Privacy: a tutorial

abstract: In the past decade analysis of big data has proven to be extremely valuable in many contexts. Local Differential Privacy (LDP) is a state-of-the-art approach which allows statistical computations while protecting each individual user's privacy. Unlike Differential Privacy no trust in a central authority is necessary as noise is added to user inputs locally. In this paper we give an overview over different LDP algorithms for problems such as locally private heavy hitter identification and spatial data collection. Finally, we will give an outlook on open problems in LDP.


title: Some tight lower bounds for Tur\'{a}n problems via constructions of multi-hypergraphs

abstract: Recently, several hypergraph Tur\'{a}n problems were solved by the powerful random algebraic method. However, the random algebraic method usually requires some parameters to be very large, hence we are concerned about how these Tur\'{a}n numbers depend on such large parameters of the forbidden hypergraphs. In this paper, we determine the dependence on such specified large constant for several hypergraph Tur\'{a}n problems. More specifically, for complete $r$-partite $r$-uniform hypergraphs, we show that if $s_{r}$ is sufficiently larger than $s_{1},s_{2},\ldots,s_{r-1},$ then $$\textup{ex}_{r}(n,K_{s_{1},s_{2},\ldots,s_{r}}^{(r)})=\Theta(s_{r}^{\frac{1}{s_{1}s_{2}\cdots s_{r-1}}}n^{r-\frac{1}{s_{1}s_{2}\cdots s_{r-1}}}).$$ For complete bipartite $r$-uniform hypergraphs, we prove that if $s$ is sufficiently larger than $t,$ we have $$\textup{ex}_{r}(n,K_{s,t}^{(r)})=\Theta(s^{\frac{1}{t}}n^{r-\frac{1}{t}}).$$ In particular, our results imply that the famous K\H{o}v\'{a}ri--S\'{o}s--Tur\'{a}n's upper bound $\textup{ex}(n,K_{s,t})=O(t^{\frac{1}{s}}n^{2-\frac{1}{s}})$ has the correct dependence on large $t$. The main approach is to construct random multi-hypergraph via a variant of random algebraic method.


title: SOM-Guided Evolutionary Search for Solving MinMax Multiple-TSP

abstract: Multiple-TSP, also abbreviated in the literature as mTSP, is an extension of the Traveling Salesman Problem that lies at the core of many variants of the Vehicle Routing problem of great practical importance. The current paper develops and experiments with Self Organizing Maps, Evolutionary Algorithms and Ant Colony Systems to tackle the MinMax formulation of the Single-Depot Multiple-TSP. Hybridization between the neural network approach and the two meta-heuristics shows to bring significant improvements, outperforming results reported in the literature on a set of problem instances taken from TSPLIB.


title: REP: Predicting the Time-Course of Drug Sensitivity

abstract: The biological processes involved in a drug's mechanisms of action are oftentimes dynamic, complex and difficult to discern. Time-course gene expression data is a rich source of information that can be used to unravel these complex processes, identify biomarkers of drug sensitivity and predict the response to a drug. However, the majority of previous work has not fully utilized this temporal dimension. In these studies, the gene expression data is either considered at one time-point (before the administration of the drug) or two timepoints (before and after the administration of the drug). This is clearly inadequate in modeling dynamic gene-drug interactions, especially for applications such as long-term drug therapy. In this work, we present a novel REcursive Prediction (REP) framework for drug response prediction by taking advantage of time-course gene expression data. Our goal is to predict drug response values at every stage of a long-term treatment, given the expression levels of genes collected in the previous time-points. To this end, REP employs a built-in recursive structure that exploits the intrinsic time-course nature of the data and integrates past values of drug responses for subsequent predictions. It also incorporates tensor completion that can not only alleviate the impact of noise and missing data, but also predict unseen gene expression levels (GELs). These advantages enable REP to estimate drug response at any stage of a given treatment from some GELs measured in the beginning of the treatment. Extensive experiments on a dataset corresponding to 53 multiple sclerosis patients treated with interferon are included to showcase the effectiveness of REP.


title: Semantic Guided Single Image Reflection Removal

abstract: Reflection is common in images capturing scenes behind a glass window, which is not only a disturbance visually but also influence the performance of other computer vision algorithms. Single image reflection removal is an ill-posed problem because the color at each pixel needs to be separated into two values, i.e., the desired clear background and the reflection. To solve it, existing methods propose priors such as smoothness, color consistency. However, the low-level priors are not reliable in complex scenes, for instance, when capturing a real outdoor scene through a window, both the foreground and background contain both smooth and sharp area and a variety of color. In this paper, inspired by the fact that human can separate the two layers easily by recognizing the objects, we use the object semantic as guidance to force the same semantic object belong to the same layer. Extensive experiments on different datasets show that adding the semantic information offers a significant improvement to reflection separation. We also demonstrate the applications of the proposed method to other computer vision tasks.


title: Adaptive Flight Control in the Presence of Limits on Magnitude and Rate

abstract: Input constraints as well as parametric uncertainties must be accounted for in the design of safe control systems. This paper presents an adaptive controller for multiple-input-multiple-output (MIMO) plants with input magnitude and rate saturation in the presence of parametric uncertainties. A filter is introduced in the control path to accommodate the presence of rate limits. An output feedback adaptive controller is designed to stabilize the closed loop system even in the presence of this filter. The overall control architecture includes adaptive laws that are modified to account for the magnitude and rate limits. Analytical guarantees of bounded solutions and satisfactory tracking are provided. Three flight control simulations with nonlinear models of the aircraft dynamics are provided to demonstrate the efficacy of the proposed adaptive controller for open loop stable and unstable systems in the presence of uncertainties in the dynamics as well as input magnitude and rate saturation.


title: Rethinking Classification and Localization for Cascade R-CNN

abstract: We extend the state-of-the-art Cascade R-CNN with a simple feature sharing mechanism. Our approach focuses on the performance increases on high IoU but decreases on low IoU thresholds--a key problem this detector suffers from. Feature sharing is extremely helpful, our results show that given this mechanism embedded into all stages, we can easily narrow the gap between the last stage and preceding stages on low IoU thresholds without resorting to the commonly used testing ensemble but the network itself. We also observe obvious improvements on all IoU thresholds benefited from feature sharing, and the resulting cascade structure can easily match or exceed its counterparts, only with negligible extra parameters introduced. To push the envelope, we demonstrate 43.2 AP on COCO object detection without any bells and whistles including testing ensemble, surpassing previous Cascade R-CNN by a large margin. Our framework is easy to implement and we hope it can serve as a general and strong baseline for future research.


title: Electronic markets with multiple submodular buyers

abstract: We discuss the problem of setting prices in an electronic market that has more than one buyer. We assume that there are self-interested sellers each selling a distinct item that has an associated cost. Each buyer has a submodular valuation for purchasing any subset of items. The goal of the sellers is to set a price for their item such that their profit from possibly selling their item to the buyers is maximized. Our most comprehensive results concern a multi copy setting where each seller has m copies of their item and there are m buyers. In this setting, we give a necessary and sufficient condition for the existence of market clearing pure Nash equilibrium. We also show that not all equilibria are market clearing even when this condition is satisfied contrary to what was shown in the case of a single buyer in [2]. Finally, we investigate the pricing problem for multiple buyers in the limited supply setting when each seller only has a single copy of their item.


title: Quantum Crystal Structure in the 250 K Superconducting Lanthanum Hydride

abstract: The discovery of superconductivity at 200 K in the hydrogen sulfide system at large pressures [1] was a clear demonstration that hydrogen-rich materials can be high-temperature superconductors. The recent synthesis of LaH$_{10}$ with a superconducting critical temperature (T$_{\text{c}}$) of 250 K [2,3] places these materials at the verge of reaching the long-dreamed room-temperature superconductivity. Electrical and x-ray diffraction measurements determined a weakly pressure-dependent T$_{\text{c}}$ for LaH$_{10}$ between 137 and 218 gigapascals in a structure with a face-centered cubic (fcc) arrangement of La atoms [3]. Here we show that quantum atomic fluctuations stabilize in all this pressure range a high-symmetry Fm-3m crystal structure consistent with experiments, which has a colossal electron-phonon coupling of $\lambda\sim3.5$. Even if ab initio classical calculations neglecting quantum atomic vibrations predict this structure to distort below 230 GPa yielding a complex energy landscape with many local minima, the inclusion of quantum effects simplifies the energy landscape evidencing the Fm-3m as the true ground state. The agreement between the calculated and experimental T$_{\text{c}}$ values further supports this phase as responsible for the 250 K superconductivity. The relevance of quantum fluctuations in the energy landscape found here questions many of the crystal structure predictions made for hydrides within a classical approach that at the moment guide the experimental quest for room-temperature superconductivity [4,5,6]. Furthermore, quantum effects reveal crucial to sustain solids with extraordinary electron-phonon coupling that may otherwise be unstable [7].


title: Triangulation: Why Optimize?

abstract: For decades, it has been widely accepted that the gold standard for two-view triangulation is to minimize the cost based on reprojection errors. In this work, we challenge this idea. We propose a novel alternative to the classic midpoint method that leads to significantly lower 2D errors and parallax errors. It provides a numerically stable closed-form solution based solely on a pair of backprojected rays. Since our solution is rotationally invariant, it can also be applied for fisheye and omnidirectional cameras. We show that for small parallax angles, our method outperforms the state-of-the-art in terms of combined 2D, 3D and parallax accuracy, while achieving comparable speed.


abstract: In this paper, we investigate exceptional sets in the Waring-Goldbach problem for unlike powers. For example, estimates are obtained for sufficiently large integers below a parameter subject to the necessary local conditions that do not have a representation as the sum of a square of prime, a cube of prime and a sixth power of prime and a $k$-th power of prime. These results improve the recent result due to Br\"udern in the order of magnitude. Furthermore, the method can be also applied to the similar estimates for the exceptional sets for Waring-Goldbach problem for unlike powers.


title: Development of CFETR scenarios with self-consistent core-pedestal coupled simulations

abstract: This paper develops two non-inductive steady state scenarios for larger size configuration of China Fusion Engineering Test Reactor (CFETR) with integrated modeling simulations. A self-consistent core-pedestal coupled workflow for CFETR is developed under integrated modeling framework OMFIT, which allows more accurate evaluation of CFETR performance. The workflow integrates equilibrium code EFIT, transport codes ONETWO and TGYRO, and pedestal code EPED. A fully non-inductive baseline phase I scenario is developed with the workflow, which satisfies the minimum goal of Fusion Nuclear Science Facility. Compared with previous work, which proves the larger size and higher toroidal field CFETR configuration than has the advantages of reducing heating and current drive requirements, lowering divertor and wall power loads, allowing higher bootstrap current fraction and better confinement. A fully non-inductive high-performance phase II scenario is developed, which explores the alpha-particle dominated self-heating regime. Phase II scenario achieves the target of fusion power Pfus>1GW and fusion gain Qfus>20, and it largely reduces auxiliary heating and current drive power. Moreover, the large neutron production of phase II increases the energy generation power and tritium breeding rate.


title: $\mathbb{CP}^2$-stable classification of $4$-manifolds with finite fundamental group

abstract: We show that two closed, connected $4$-manifolds with finite fundamental groups are $\mathbb{CP}^2$-stably homeomorphic if and only if their quadratic $2$-types are stably isomorphic and their Kirby-Siebenmann invariant agrees.


title: Remote Heart Rate Measurement from Highly Compressed Facial Videos: an End-to-end Deep Learning Solution with Video Enhancement

abstract: Remote photoplethysmography (rPPG), which aims at measuring heart activities without any contact, has great potential in many applications (e.g., remote healthcare). Existing rPPG approaches rely on analyzing very fine details of facial videos, which are prone to be affected by video compression. Here we propose a two-stage, end-to-end method using hidden rPPG information enhancement and attention networks, which is the first attempt to counter video compression loss and recover rPPG signals from highly compressed videos. The method includes two parts: 1) a Spatio-Temporal Video Enhancement Network (STVEN) for video enhancement, and 2) an rPPG network (rPPGNet) for rPPG signal recovery. The rPPGNet can work on its own for robust rPPG measurement, and the STVEN network can be added and jointly trained to further boost the performance especially on highly compressed videos. Comprehensive experiments are performed on two benchmark datasets to show that, 1) the proposed method not only achieves superior performance on compressed videos with high-quality videos pair, 2) it also generalizes well on novel data with only compressed videos available, which implies the promising potential for real world applications.


title: MaskGAN: Towards Diverse and Interactive Facial Image Manipulation

abstract: Facial image manipulation has achieved great progress in recent years. However, previous methods either operate on a predefined set of face attributes or leave users little freedom to interactively manipulate images. To overcome these drawbacks, we propose a novel framework termed MaskGAN, enabling diverse and interactive face manipulation. Our key insight is that semantic masks serve as a suitable intermediate representation for flexible face manipulation with fidelity preservation. MaskGAN has two main components: 1) Dense Mapping Network (DMN) and 2) Editing Behavior Simulated Training (EBST). Specifically, DMN learns style mapping between a free-form user modified mask and a target image, enabling diverse generation results. EBST models the user editing behavior on the source mask, making the overall framework more robust to various manipulated inputs. Specifically, it introduces dual-editing consistency as the auxiliary supervision signal. To facilitate extensive studies, we construct a large-scale high-resolution face dataset with fine-grained mask annotations named CelebAMask-HQ. MaskGAN is comprehensively evaluated on two challenging tasks: attribute transfer and style copy, demonstrating superior performance over other state-of-the-art methods. The code, models, and dataset are available at https://github.com/switchablenorms/CelebAMask-HQ.


title: High CO2-tolerance oxygen permeation dual-phase membranes Ce0.9Pr0.1O2-{\delta}-Pr0.6Sr0.4Fe0.8Al0.2O3-{\delta}

abstract: High stability and oxygen permeability are two prominent requirements for the oxygen transport membrane candidates used as industrialization. Herein, we report several composite membranes based on xwt.%Ce0.9Pr0.1O2(CPO)-(100-x)wt.%Pr0.6Sr0.4Fe0.8Al0.2O3(PSFAO) (x = 50, 60 and 75) prepared via a modified Pechini method. Oxygen permeability test reveals that the 60CPO-40PSFAO composition exhibits the highest oxygen permeability. The oxygen permeation flux through the optimal uncoated 0.33 mm-thickness 60CPO-40PSFAO composite can reach 1.03 mL cm-2 min-1 (over the general requirement value of 1 mL cm-2 min-1) in air/He atmosphere at 1000 {\deg}C. In situ XRD performance confirms the optimal 60CPO-40PSFAO sample shows excellent stability in CO2-containing atmospheres. The 60CPO-40PSFAO membrane still exhibits simultaneously excellent oxygen permeability and phase stability after operating for over 100 h at air/CO2 condition at 1000 {\deg}C, which further indicates that the 60CPO-40PSFAO composite is likely to be used for oxygen supply in CO2 capture