title: Learning Latent Space Dynamics for Tactile Servoing

abstract: To achieve a dexterous robotic manipulation, we need to endow our robot with tactile feedback capability, i.e. the ability to drive action based on tactile sensing. In this paper, we specifically address the challenge of tactile servoing, i.e. given the current tactile sensing and a target/goal tactile sensing --memorized from a successful task execution in the past-- what is the action that will bring the current tactile sensing to move closer towards the target tactile sensing at the next time step. We develop a data-driven approach to acquire a dynamics model for tactile servoing by learning from demonstration. Moreover, our method represents the tactile sensing information as to lie on a surface --or a 2D manifold-- and perform a manifold learning, making it applicable to any tactile skin geometry. We evaluate our method on a contact point tracking task using a robot equipped with a tactile finger. A video demonstrating our approach can be seen in https://youtu.be/0QK0-Vx7WkI


title: Ultracontractivity and Gaussian bounds for evolution families associated with non-autonomous forms

abstract: We develop a variational approach in order to study the qualitative properties of non-autonomous parabolic equations. Based on the method of product integrals, we discuss long-time behavior, invariance properties, and ultracontractivity of evolution families in Hilbert space. Our main results give sufficient conditions for the heat kernel of the evolution family to satisfy Gaussian-type bounds. Along the way, we study examples of non-autonomous equations on graphs, metric graphs, and domains.


title: Maximizing Diversity of Opinion in Social Networks

abstract: We study the problem of maximizing opinion diversity in a social network that includes opinion leaders with binary opposing opinions. The members of the network who are not leaders form their opinions using the French-DeGroot model of opinion dynamics. To quantify the diversity of such a system, we adapt two diversity measures from ecology to our setting, the Simpson Diversity Index and the Shannon Index. Using these two measures, we formalize the problem of how to place a single leader with opinion 1, given a network with a leader with opinion 0, so as to maximize the opinion diversity. We give analytical solutions to these problems for paths, cycles, and trees, and we highlight our results through a numerical example.


title: Validating Hyperspectral Image Segmentation

abstract: Hyperspectral satellite imaging attracts enormous research attention in the remote sensing community, hence automated approaches for precise segmentation of such imagery are being rapidly developed. In this letter, we share our observations on the strategy for validating hyperspectral image segmentation algorithms currently followed in the literature, and show that it can lead to over-optimistic experimental insights. We introduce a new routine for generating segmentation benchmarks, and use it to elaborate ready-to-use hyperspectral training-test data partitions. They can be utilized for fair validation of new and existing algorithms without any training-test data leakage.


title: Geography of Genus 2 Lefschetz fibrations

abstract: Questions of geography of various classes of $4$-manifolds have been a central motivating question in $4$-manifold topology. Baykur and Korkmaz asked which small, simply connected, minimal $4$-manifolds admit a genus $2$ Lefschetz fibration. They were able to classify all the possible homeomorphism types and realize all but one with the exception of a genus $2$ Lefschetz fibration on a symplectic $4$-manifold homeomorphic, but not diffeomorphic to $3 \mathbb{CP}^2 \# 11\overline{\mathbb{CP}}^2$. We give a positive factorization of type $(10,10)$ that corresponds to such a genus $2$ Lefschetz fibration. Furthermore, we observe two restrictions on the geography of genus $2$ Lefschetz fibrations, we find that they satisfy the Noether inequality and a BMY like inequality. We then find positive factorizations that describe genus $2$ Lefschetz fibrations on simply connected, minimal symplectic $4$-manifolds for many of these points.


title: Landau quantization in coupled Weyl points: a case study of semimetal NbP

abstract: Weyl semimetal (WSM) is a newly discovered quantum phase of matter that exhibits topologically protected states characterized by two separated Weyl points with linear dispersion in all directions. Here, via combining theoretical analysis and magneto-infrared spectroscopy of an archetypal Weyl semimetal, niobium phosphide, we demonstrate that the coupling between Weyl points can significantly modify the electronic structure of a WSM and provide a new twist to the protected states. These findings suggest that the coupled Weyl points should be considered as the basis for analysis of realistic WSMs.


title: Incentivising Participation in Liquid Democracy with Breadth-First Delegation

abstract: Liquid democracy allows members of an electorate to either directly vote over alternatives, or delegate their voting rights to someone they trust. Most of the liquid democracy literature and implementations allow each voter to nominate only one delegate per election. However, if that delegate abstains, the voting rights assigned to her are left unused. To minimise the number of unused delegations, it has been suggested that each voter should declare a personal ranking over voters she trusts. In this paper, we show that even if personal rankings over voters are declared, the standard delegation method of liquid democracy remains problematic. More specifically, we show that when personal rankings over voters are declared, it could be undesirable to receive delegated voting rights, which is contrary to what liquid democracy fundamentally relies on. To solve this issue, we propose a new method to delegate voting rights in an election, called breadth-first delegation. Additionally, the proposed method prioritises assigning voting rights to individuals closely connected to the voters who delegate.


title: Benchmarking Deep Sequential Models on Volatility Predictions for Financial Time Series

abstract: Volatility is a quantity of measurement for the price movements of stocks or options which indicates the uncertainty within financial markets. As an indicator of the level of risk or the degree of variation, volatility is important to analyse the financial market, and it is taken into consideration in various decision-making processes in financial activities. On the other hand, recent advancement in deep learning techniques has shown strong capabilities in modelling sequential data, such as speech and natural language. In this paper, we empirically study the applicability of the latest deep structures with respect to the volatility modelling problem, through which we aim to provide an empirical guidance for the theoretical analysis of the marriage between deep learning techniques and financial applications in the future. We examine both the traditional approaches and the deep sequential models on the task of volatility prediction, including the most recent variants of convolutional and recurrent networks, such as the dilated architecture. Accordingly, experiments with real-world stock price datasets are performed on a set of 1314 daily stock series for 2018 days of transaction. The evaluation and comparison are based on the negative log likelihood (NLL) of real-world stock price time series. The result shows that the dilated neural models, including dilated CNN and Dilated RNN, produce most accurate estimation and prediction, outperforming various widely-used deterministic models in the GARCH family and several recently proposed stochastic models. In addition, the high flexibility and rich expressive power are validated in this study.


title: Galaxy And Mass Assembly (GAMA): The sSFR-M* relation part I - $\sigma_{\mathrm{sSFR}}$-M* as a function of sample, SFR indicator and environment

abstract: Recently a number of studies have proposed that the dispersion along the star formation rate - stellar mass relation ($\sigma_{\mathrm{sSFR}}$-M$_{*}$) is indicative of variations in star-formation history (SFH) driven by feedback processes. They found a 'U'-shaped dispersion and attribute the increased scatter at low and high stellar masses to stellar and active galactic nuclei feed-back respectively. However, measuring $\sigma_{\mathrm{sSFR}}$ and the shape of the $\sigma_{\mathrm{sSFR}}$-M$_{*}$ relation is problematic and can vary dramatically depending on the sample selected, chosen separation of passive/star-forming systems, and method of deriving star-formation rates ($i.e.$ H$\alpha$ emission vs spectral energy distribution fitting). As such, any astrophysical conclusions drawn from measurements of $\sigma_{\mathrm{sSFR}}$ must consider these dependencies. Here we use the Galaxy And Mass Assembly survey to explore how $\sigma_{\mathrm{sSFR}}$ varies with SFR indicator for a variety of selections for disc-like `main sequence' star-forming galaxies including colour, star-formation rate, visual morphology, bulge-to-total mass ratio, S\'{e}rsic index and mixture modelling. We find that irrespective of sample selection and/or SFR indicator, the dispersion along the sSFR-M$_{*}$ relation does follow a 'U'-shaped distribution. This suggests that the shape is physical and not an artefact of sample selection or method. We then compare the $\sigma_{\mathrm{sSFR}}$-M$_{*}$ relation to state-of-the-art hydrodynamical and semi-analytic models and find good agreement with our observed results. Finally, we find that for group satellites this 'U'-shaped distribution is not observed due to additional high scatter populations at intermediate stellar masses.


title: Performance Comparison of Contemporary DNN Watermarking Techniques

abstract: DNNs shall be considered as the intellectual property (IP) of the model builder due to the impeding cost of designing/training a highly accurate model. Research attempts have been made to protect the authorship of the trained model and prevent IP infringement using DNN watermarking techniques. In this paper, we provide a comprehensive performance comparison of the state-of-the-art DNN watermarking methodologies according to the essential requisites for an effective watermarking technique. We identify the pros and cons of each scheme and provide insights into the underlying rationale. Empirical results corroborate that DeepSigns framework proposed in [4] has the best overall performance in terms of the evaluation metrics. Our comparison facilitates the development of pending watermarking approaches and enables the model owner to deploy the watermarking scheme that satisfying her requirements.


title: Application of an Equilibrium Phase (EP) Spray Model to Multi-component Gasoline Direct Injection

abstract: An Equilibrium Phase (EP) spray model has been recently proposed for modeling high-pressure diesel fuel injection, which is based on jet theory and a phase equilibrium assumption. In this approach, the non-equilibrium processes of drop breakup, collision and surface vaporization are neglected, assuming that spray vaporization is a mixing-controlled equilibrium process. A liquid-jet model and a gas-jet model are also intro-duced to improve grid-independency. In the current study, the EP model is applied in simulations of multi-hole gasoline direct injection (GDI). The model is validated at ambient densities from 3 to 9 kg/m3 and ambient temperatures from 400 K to 900 K, for two different GDI injectors, i.e. the Engine Combustion Network (ECN) Spray G injector and a GM injector. Iso-octane is used as the surrogate in consistency with available experi-ments. The results show good agreement in terms of liquid/vapor penetration, shape of the vapor envelope, and the velocity evolution along the injector centerline. Then, a 10-component gasoline surrogate fuel is used to demonstrate the capability of this model for multi-component spray simulations, which is essential for engine combustion and emission predictions.


title: A Modified Morrey-Kohn-H\"ormander Identity and Applications

abstract: We prove a modified form of the classical Morrey-Kohn-H\"ormander identity, adapted to pseudoconcave boundaries. Applying this result to an annulus between two bounded pseudoconvex domains in $\mathbb{C}^n$, where the inner domain has $\mathcal{C}^{1,1}$ boundary, we show that the $L^2$ Dolbeault cohomology group in bidegree $(p,q)$ vanishes if $1\leq q\leq n-2$ and is Hausdorff and infinite-dimensional if $q=n-1$, so that the Cauchy-Riemann operator has closed range in each bidegree. As a dual result, we prove that the Cauchy-Riemann operator is solvable in the $L^2$ Sobolev space $W^1$ on any pseudoconvex domain with $\mathcal{C}^{1,1}$ boundary. We also generalize our results to annuli between domains which are weakly $q$-convex in the sense of Ho for appropriate values of $q$.


title: Withdrawing the BGP Re-Routing Curtain: Understanding the Security Impact of BGP Poisoning via Real-World Measurements

abstract: The security of the Internet's routing infrastructure has underpinned much of the past two decades of distributed systems security research. However, the converse is increasingly true. Routing and path decisions are now important for the security properties of systems built on top of the Internet. In particular, BGP poisoning leverages the de facto routing protocol between Autonomous Systems (ASes) to maneuver the return paths of upstream networks onto previously unusable, new paths. These new paths can be used to avoid congestion, censors, geo-political boundaries, or any feature of the topology which can be expressed at an AS-level. Given the increase in BGP poisoning usage as a security primitive, we set out to evaluate poisoning feasibility in practice beyond simulation. To that end, using an Internet-scale measurement infrastructure, we capture and analyze over 1,400 instances of BGP poisoning across thousands of ASes as a mechanism to maneuver return paths of traffic. We analyze in detail the performance of steering paths, the graph-theoretic aspects of available paths, and re-evaluate simulated systems with this data. We find that the real-world evidence does not completely support the findings from simulated systems published in the literature. We also analyze filtering of BGP poisoning across types of ASes and ISP working groups. We explore the connectivity concerns when poisoning by reproducing a decade old experiment to uncover the current state of an Internet triple the size. We build predictive models for understanding an ASes' vulnerability to poisoning. Finally, an exhaustive measurement of an upper bound on the maximum path length of the Internet is presented, detailing how security research should react to ASes leveraging poisoned long paths. In total, our results and analysis expose the real-world impact of BGP poisoning on past and future security research.


title: Fast determinantal point processes via distortion-free intermediate sampling

abstract: Given a fixed $n\times d$ matrix $\mathbf{X}$, where $n\gg d$, we study the complexity of sampling from a distribution over all subsets of rows where the probability of a subset is proportional to the squared volume of the parallelepiped spanned by the rows (a.k.a. a determinantal point process). In this task, it is important to minimize the preprocessing cost of the procedure (performed once) as well as the sampling cost (performed repeatedly). To that end, we propose a new determinantal point process algorithm which has the following two properties, both of which are novel: (1) a preprocessing step which runs in time $O(\text{number-of-non-zeros}(\mathbf{X})\cdot\log n)+\text{poly}(d)$, and (2) a sampling step which runs in $\text{poly}(d)$ time, independent of the number of rows $n$. We achieve this by introducing a new regularized determinantal point process (R-DPP), which serves as an intermediate distribution in the sampling procedure by reducing the number of rows from $n$ to $\text{poly}(d)$. Crucially, this intermediate distribution does not distort the probabilities of the target sample. Our key novelty in defining the R-DPP is the use of a Poisson random variable for controlling the probabilities of different subset sizes, leading to new determinantal formulas such as the normalization constant for this distribution. Our algorithm has applications in many diverse areas where determinantal point processes have been used, such as machine learning, stochastic optimization, data summarization and low-rank matrix reconstruction.


title: Optimal trading using signals

abstract: In this paper we propose a mathematical framework to address the uncertainty emergingwhen the designer of a trading algorithm uses a threshold on a signal as a control. We rely ona theorem by Benveniste and Priouret to deduce our Inventory Asymptotic Behaviour (IAB)Theorem giving the full distribution of the inventory at any point in time for a well formulatedtime continuous version of the trading algorithm.Since this is the first time a paper proposes to address the uncertainty linked to the use of athreshold on a signal for trading, we give some structural elements about the kind of signals thatare using in execution. Then we show how to control this uncertainty for a given cost function.There is no closed form solution to this control, hence we propose several approximation schemesand compare their performances.Moreover, we explain how to apply the IAB Theorem to any trading algorithm drivenby a trading speed. It is not needed to control the uncertainty due to the thresholding of asignal to exploit the IAB Theorem; it can be applied ex-post to any traditional trading algorithm.


title: Magnetic properties of the itinerant A-type antiferromagnet CaCo2P2 studied by 59Co and 31P NMR

abstract: $^{59}$Co and $^{31}$P nuclear magnetic resonance (NMR) measurements in external magnetic and zero magnetic fields have been performed to investigate the magnetic properties of the A-type antiferromagnetic (AFM) CaCo$_2$P$_2$. NMR data, especially, the nuclear spin lattice relaxation rates 1/$T_1$ exhibiting a clear peak, provide clear evidence for the AFM transition at a N\'eel temperature of $T_{\rm N}\sim$110~K. The magnetic fluctuations in the paramagnetic state were found to be three-dimensional ferromagnetic, suggesting ferromagnetic interaction between Co spins in the ${\it ab}$ plane characterize the spin correlations in the paramagnetic state. In the AFM state below $T_{\rm N}$, we have observed $^{59}$Co and $^{31}$P NMR signals under zero magnetic field. From $^{59}$Co NMR data, the ordered magnetic moments of Co are found to be in $ab$ plane and are estimated to be 0.35 $\mu_{\rm B}$ at 4.2 K. Furthermore, the external field dependence of $^{59}$Co NMR spectrum in the AFM state suggests a very weak magnetic anisotropy of the Co ions and also provides microscopic evidence of canting the Co ordered moments along the external magnetic field directions. The magnetic state of the Co ions in CaCo$_2$P$_2$ is well explained by the local moment picture in the AFM state, although the system is metallic as seen by $1/T_1T$ = constant behavior.


title: Estimation of a Structural Break Point in Linear Regression Models

abstract: This study proposes a point estimator of the break location for a one-time structural break in linear regression models. If the break magnitude is small, the least-squares estimator of the break date has two modes at the ends of the finite sample period, regardless of the true break location. To solve this problem, I suggest an alternative estimator based on a modification of the least-squares objective function. The modified objective function incorporates estimation uncertainty that varies across potential break dates. The new break point estimator is consistent and has a unimodal finite sample distribution under small break magnitudes. A limit distribution is provided under an in-fill asymptotic framework. Monte Carlo simulation results suggest that the new estimator outperforms the least-squares estimator. I apply the method to estimate the break date in U.S. real GDP growth and U.S. and UK stock return prediction models.


title: Learning Energy Based Inpainting for Optical Flow

abstract: Modern optical flow methods are often composed of a cascade of many independent steps or formulated as a black box neural network that is hard to interpret and analyze. In this work we seek for a plain, interpretable, but learnable solution. We propose a novel inpainting based algorithm that approaches the problem in three steps: feature selection and matching, selection of supporting points and energy based inpainting. To facilitate the inference we propose an optimization layer that allows to backpropagate through 10K iterations of a first-order method without any numerical or memory problems. Compared to recent state-of-the-art networks, our modular CNN is very lightweight and competitive with other, more involved, inpainting based methods.


title: Witnessing quantum memory in non-Markovian processes

abstract: We present a method to detect quantum memory in a non-Markovian process. We call a process Markovian when the environment does not provide a memory that retains correlations across different system-environment interactions. We define two types of non-Markovian processes, depending on the required memory being classical or quantum. We formalise this distinction using the process matrix formalism, through which a process is represented as a multipartite state. Within this formalism, a test for entanglement in a state can be mapped to a test for quantum memory in the corresponding process. This allows us to apply separability criteria and entanglement witnesses to the detection of quantum memory. We demonstrate the method in a simple model where both system and environment are single interacting qubits and map the parameters that lead to quantum memory. As with entanglement witnesses, our method of witnessing quantum memory provides a versatile experimental tool for open quantum systems.


title: Signatures of magnetic reconnection at the footpoints of fan shape jets on a light bridge driven by photospheric convective motions

abstract: Dynamical jets are generally found on Light bridges (LBs), which are key to studying sunspots decays. So far, their formation mechanism is not fully understood. In this paper, we used state-of-the-art observations from the Goode Solar Telescope, the Interface Region Imaging Spectrograph, the Spectro-Polarimeter on board Hinode and the Atmospheric Imaging Assembly (AIA) on board the Solar Dynamics Observatory to analyze the fan shape jets on LBs in detail. Continuous upward motion of the jets in ascending phase is found from the H$\alpha$ velocity, which lasts for 12 minutes and is associated with the H$\alpha$ line wing enhancements. Two mini jets appear upon the bright fronts of the fan shape jets visible in the AIA 171 {\AA} and 193 {\AA} channels, with a time interval as short as 1 minute. Two kinds of small scale convective motions are identified in the photospheric images, along with the H$\alpha$ line wing enhancements. One seems to be associated with the formation of a new convection cell and the other manifests as the motion of a dark lane passing through the convection cell. The finding of three lobes Stokes V profiles and their inversion with NICOLE code indicates that there is magnetic field lines with opposite polarities in LBs. From the H$\alpha$ -0.8 {\AA} images, we found ribbon like brightenings propagating along the LBs, possibly indicating slipping reconnection. Our observation supports that the fan shape jets under study are caused by the magnetic reconnection and photospheric convective motions play an important role in triggering the magnetic reconnection.


title: Symmetries of the Quaternionic Ginibre Ensemble

abstract: We establish a few properties of eigenvalues and eigenvectors of the quaternionic Ginibre ensemble (QGE), analogous to what is known in the complex Ginibre case. We first recover a version of Kostlan's theorem that was already noticed by Rider: the set of the squared radii of the eigenvalues is distributed as a set of independent gamma variables. Our proof technique uses the De Bruijn identity and properties of Pfaffians; it also allows to prove that the high powers of these eigenvalues are independent. These results extend to any potential beyond the Gaussian case, as long as radial symmetry holds; this includes for instance truncations of quaternionic unitary matrices, products of quaternionic Ginibre matrices, and the quaternionic spherical ensemble. We then study the eigenvectors of quaternionic Ginibre matrices. The angle between eigenvectors and the matrix of overlaps both exhibit some specific features that can be compared to the complex case. In particular, we compute the distribution and the limit of the diagonal overlap associated to an eigenvalue that is conditioned to be zero.


title: EPDA: Enhancing Privacy-Preserving Data Authentication for Mobile Crowd Sensing

abstract: As a popular application, mobile crowd sensing systems aim at providing more convenient service via the swarm intelligence. With the popularity of sensor-embedded smart phones and intelligent wearable devices, mobile crowd sensing is becoming an efficient way to obtain various types of sensing data from individuals, which will make people's life more convenient. However, mobile crowd sensing systems today are facing a critical challenge, namely the privacy leakage of the sensitive information and valuable data, which can raise grave concerns among the participants. To address this issue, we propose an enhanced secure certificateless privacy-preserving verifiable data authentication scheme for mobile crowd sensing, named EPDA. The proposed scheme provides unconditional anonymous data authentication service for mobile crowd sensing, by deploying an improved certificateless ring signature as the cryptogram essential, in which the big sensing data should be signed by one of legitimate members in a specific group and could be verified without exposing the actual identity of the participant. The formal security proof demonstrates that EPDA is secure against existential forgery under adaptive chosen message and identity attacks in random oracle model. Finally, extensive simulations are conducted. The results show that the proposed EPDA efficiently decreases computational cost and time consumption in the sensing data authentication process.


title: Radio Galaxy Zoo: Observational evidence for environment as the cause of radio source asymmetry

abstract: We investigate the role of environment on radio galaxy properties by constructing a sample of large ($\gtrsim100$~kpc), nearby ($z<0.3$) radio sources identified as part of the Radio Galaxy Zoo citizen science project. Our sample consists of 16 Fanaroff-Riley Type II (FR-II) sources, 6 FR-I sources, and one source with a hybrid morphology. FR-I sources appear to be hosted by more massive galaxies, consistent with previous studies. In the FR-II sample, we compare the degree of asymmetry in radio lobe properties to asymmetry in the radio source environment, quantified through optical galaxy clustering. We find that the length of radio lobes in FR-II sources is anti-correlated with both galaxy clustering and lobe luminosity. These results are in quantitative agreement with predictions from radio source dynamical models, and suggest that galaxy clustering provides a useful proxy for the ambient gas density distribution encountered by the radio lobes.


title: VDAS: Verifiable Data Aggregation Scheme for Internet of Things

abstract: Along with the miniaturization of various types of sensors, a mass of intelligent terminals are gaining stronger sensing capability, which raises a deeper perception and better prospect of Internet of Things (IoT). With big sensing data, IoT provides lots of convenient services for the monitoring and management of smart cities and people's daily lives. However, there are still many security challenges influencing the further development of IoT, one of which is how to quickly verify the big data obtained from IoT terminals. Aggregate signature is an efficient approach to perform big data authentication. It can effectively reduce the computation and communication overheads. In this paper, utilizing these features, we construct a verifiable data aggregation scheme for Internet of Things, named VDAS, based on an improved certificateless aggregate signature algorithm. In VDAS, the length of the aggregated authentication message is independent of the number of IoT terminals. Then, we prove that VDAS is existentially unforgeable under adaptive chosen message attacks assuming that the computational Diffie-Hellman problem is hard. Additionally, the proposed VDAS achieves a better trade-off on the computation overheads between the resource-constrained IoT terminals and the data center.


title: Detecting Backdoor Attacks on Deep Neural Networks by Activation Clustering

abstract: While machine learning (ML) models are being increasingly trusted to make decisions in different and varying areas, the safety of systems using such models has become an increasing concern. In particular, ML models are often trained on data from potentially untrustworthy sources, providing adversaries with the opportunity to manipulate them by inserting carefully crafted samples into the training set. Recent work has shown that this type of attack, called a poisoning attack, allows adversaries to insert backdoors or trojans into the model, enabling malicious behavior with simple external backdoor triggers at inference time and only a blackbox perspective of the model itself. Detecting this type of attack is challenging because the unexpected behavior occurs only when a backdoor trigger, which is known only to the adversary, is present. Model users, either direct users of training data or users of pre-trained model from a catalog, may not guarantee the safe operation of their ML-based system. In this paper, we propose a novel approach to backdoor detection and removal for neural networks. Through extensive experimental results, we demonstrate its effectiveness for neural networks classifying text and images. To the best of our knowledge, this is the first methodology capable of detecting poisonous data crafted to insert backdoors and repairing the model that does not require a verified and trusted dataset.


title: Incorporating Relevant Knowledge in Context Modeling and Response Generation

abstract: To sustain engaging conversation, it is critical for chatbots to make good use of relevant knowledge. Equipped with a knowledge base, chatbots are able to extract conversation-related attributes and entities to facilitate context modeling and response generation. In this work, we distinguish the uses of attribute and entity and incorporate them into the encoder-decoder architecture in different manners. Based on the augmented architecture, our chatbot, namely Mike, is able to generate responses by referring to proper entities from the collected knowledge. To validate the proposed approach, we build a movie conversation corpus on which the proposed approach significantly outperforms other four knowledge-grounded models.


title: MDBV: Monitoring Data Batch Verification for Survivability of Internet of Vehicles

abstract: Along with the development of vehicular sensors and wireless communication technology, Internet of Vehicles (IoV) is emerging that can improve traffic efficiency and provide a comfortable driving environment. However, there is still a challenge how to ensure the survivability of IoV. Fortunately, this goal can be achieved by quickly verifying real-time monitoring data to avoid network failure. Aggregate signature is an efficient approach to realize quick data verification quickly. In this paper, we propose a monitoring data batch verification scheme based on an improved certificateless aggregate signature for IoV, named MDBV. The size of aggregated verification message is remain roughly constant even as the increasing number of vehicles in MDBV. Additionally, MDBV is proved to be secure in the random oracle model assuming the intractability of the computational Diffie-Hellman problem. In consideration of the network survivability and performance, the proposed MDBV can decrease the computation overhead and is more suitable for IoV.


title: New bounds on the maximum size of Sperner partition systems

abstract: An $(n,k)$-Sperner partition system is a collection of partitions of some $n$-set, each into $k$ nonempty classes, such that no class of any partition is a subset of a class of any other. The maximum number of partitions in an $(n,k)$-Sperner partition system is denoted $\mathrm{SP}(n,k)$. In this paper we introduce a new construction for Sperner partition systems and use it to asymptotically determine $\mathrm{SP}(n,k)$ in many cases as $\frac{n}{k}$ becomes large. We also give a slightly improved upper bound for $\mathrm{SP}(n,k)$ and exhibit an infinite family of parameter sets $(n,k)$ for which this bound is tight.


title: Distribution-Preserving Steganography Based on Text-to-Speech Generative Models

abstract: Steganography is the art and science of hiding secret messages in public communication so that the presence of the secret messages cannot be detected. There are two distribution-preserving steganographic frameworks, one is sampling-based and the other is compression-based. The former requires a perfect sampler which yields data following the same distribution, and the latter needs explicit distribution of generative objects. However, these two conditions are too strict even unrealistic in the traditional data environment, e.g. the distribution of natural images is hard to seize. Fortunately, generative models bring new vitality to distribution-preserving steganography, which can serve as the perfect sampler or provide the explicit distribution of generative media. Take text-to-speech generation task as an example, we propose distribution-preserving steganography based on WaveGlow and WaveNet, which corresponds to the former two categories. Steganalysis experiments and theoretical analysis are conducted to demonstrate that the proposed methods can preserve the distribution.


title: Universal Decision-Based Black-Box Perturbations: Breaking Security-Through-Obscurity Defenses

abstract: We study the problem of finding a universal (image-agnostic) perturbation to fool machine learning (ML) classifiers (e.g., neural nets, decision tress) in the hard-label black-box setting. Recent work in adversarial ML in the white-box setting (model parameters are known) has shown that many state-of-the-art image classifiers are vulnerable to universal adversarial perturbations: a fixed human-imperceptible perturbation that, when added to any image, causes it to be misclassified with high probability Kurakin et al. [2016], Szegedy et al. [2013], Chen et al. [2017a], Carlini and Wagner [2017]. This paper considers a more practical and challenging problem of finding such universal perturbations in an obscure (or black-box) setting. More specifically, we use zeroth order optimization algorithms to find such a universal adversarial perturbation when no model information is revealed-except that the attacker can make queries to probe the classifier. We further relax the assumption that the output of a query is continuous valued confidence scores for all the classes and consider the case where the output is a hard-label decision. Surprisingly, we found that even in these extremely obscure regimes, state-of-the-art ML classifiers can be fooled with a very high probability just by adding a single human-imperceptible image perturbation to any natural image. The surprising existence of universal perturbations in a hard-label black-box setting raises serious security concerns with the existence of a universal noise vector that adversaries can possibly exploit to break a classifier on most natural images.


title: Close and ordinary social contacts: how important are they in promoting large-scale contagion?

abstract: An outstanding problem of interdisciplinary interest is to understand quantitatively the role of social contacts in contagion dynamics. In general, there are two types of contacts: close ones among friends, colleagues and family members, etc., and ordinary contacts from encounters with strangers. Typically, social reinforcement occurs for close contacts. Taking into account both types of contacts, we develop a contact-based model for social contagion. We find that, associated with the spreading dynamics, for random networks there is coexistence of continuous and discontinuous phase transitions, but for heterogeneous networks the transition is continuous. We also find that ordinary contacts play a crucial role in promoting large scale spreading, and the number of close contacts determines not only the nature of the phase transitions but also the value of the outbreak threshold in random networks. For heterogeneous networks from the real world, the abundance of close contacts affects the epidemic threshold, while its role in facilitating the spreading depends on the adoption threshold assigned to it. We uncover two striking phenomena. First, a strong interplay between ordinary and close contacts is necessary for generating prevalent spreading. In fact, only when there are propagation paths of reasonable length which involve both close and ordinary contacts are large scale outbreaks of social contagions possible. Second, abundant close contacts in heterogeneous networks promote both outbreak and spreading of the contagion through the transmission channels among the hubs, when both values of the threshold and transmission rate among ordinary contacts are small. We develop a theoretical framework to obtain an analytic understanding of the main findings on random networks, with support from extensive numerical computations.


title: A Note on the comparison of Nearest Neighbor Gaussian Process (NNGP) based models

abstract: This note is devoted to the comparison between two Nearest-neighbor Gaussian processes (NNGP) based models: the response NNGP model and the latent NNGP model. We exhibit that the comparison based on the Kullback-Leibler divergence (KL-D) from the NNGP based models to their parent GP based model can result in reverse conclusions in different parameter spaces. And we suggest a heuristic explanation on the phenomenon that the latent NNGP model tends to outperform the response NNGP model in approximating their parent GP based model.


title: Semantic and Contrast-Aware Saliency

abstract: In this paper, we proposed an integrated model of semantic-aware and contrast-aware saliency combining both bottom-up and top-down cues for effective saliency estimation and eye fixation prediction. The proposed model processes visual information using two pathways. The first pathway aims to capture the attractive semantic information in images, especially for the presence of meaningful objects and object parts such as human faces. The second pathway is based on multi-scale on-line feature learning and information maximization, which learns an adaptive sparse representation for the input and discovers the high contrast salient patterns within the image context. The two pathways characterize both long-term and short-term attention cues and are integrated dynamically using maxima normalization. We investigate two different implementations of the semantic pathway including an End-to-End deep neural network solution and a dynamic feature integration solution, resulting in the SCA and SCAFI model respectively. Experimental results on artificial images and 5 popular benchmark datasets demonstrate the superior performance and better plausibility of the proposed model over both classic approaches and recent deep models.


title: New Results for the p7Be-->8Bgamma Astrophysical S-factor from 10 keV to 5 MeV and Reactions Rate from 0.01 to 10 T9

abstract: The astrophysical S-factor for the process p7Be --> 8Bgamma of radiative capture by the 8B ground state is described up to 5 MeV, within the modified potential cluster model. The signatures of the S-factor resonances at 0.632, 2.18 and 3.36 MeV due to M1 and E2 transitions from the scattering of resonance 3P1, 3F3 and 3D2 waves to the ground 3P2 state are illuminated using total cross sections, astrophysical S-factors and reaction rates at temperatures from 0.01 to 10.0 T9. Experimental data on the S-factor are reproduced well in the range 100 keV to 3 MeV. The importance of the input of the 0.632 MeV resonance to the reaction rate is proved. Our calculations (performed in advance) confirm the latest data for the S-factor at 19 keV.


title: Half Excitonic Insulator: A Single-Spin Bose-Einstein Condensate

abstract: First-principles calculations reveal an unusual electronic state (dubbed as half excitonic insulator) in monolayer 1T-MX2 (M = Co, Ni and X = Cl, Br). Its one spin channel has a many-body ground state due to excitonic instability, while the other is characterized by a conventional band insulator gap. This disparity arises from a competition between the band gap and exciton binding energy, which exhibits a spin-dependence due to different orbital occupations. Such a state can be identified by optical absorption measurements and angle-resolved photoemission spectroscopy. Our theory not only provides new insights for the study of exciton condensation in magnetic materials but also suggests that strongly-correlated materials could be fertile candidates for excitonic insulators.


title: Securing Behavior-based Opinion Spam Detection

abstract: Reviews spams are prevalent in e-commerce to manipulate product ranking and customers decisions maliciously. While spams generated based on simple spamming strategy can be detected effectively, hardened spammers can evade regular detectors via more advanced spamming strategies. Previous work gave more attention to evasion against text and graph-based detectors, but evasions against behavior-based detectors are largely ignored, leading to vulnerabilities in spam detection systems. Since real evasion data are scarce, we first propose EMERAL (Evasion via Maximum Entropy and Rating sAmpLing) to generate evasive spams to certain existing detectors. EMERAL can simulate spammers with different goals and levels of knowledge about the detectors, targeting at different stages of the life cycle of target products. We show that in the evasion-defense dynamic, only a few evasion types are meaningful to the spammers, and any spammer will not be able to evade too many detection signals at the same time. We reveal that some evasions are quite insidious and can fail all detection signals. We then propose DETER (Defense via Evasion generaTion using EmeRal), based on model re-training on diverse evasive samples generated by EMERAL. Experiments confirm that DETER is more accurate in detecting both suspicious time window and individual spamming reviews. In terms of security, DETER is versatile enough to be vaccinated against diverse and unexpected evasions, is agnostic about evasion strategy and can be released without privacy concern.


title: Machine learning Applied to Star-Galaxy-QSO Classification and Stellar Effective Temperature Regression

abstract: In modern astrophysics, the machine learning has increasingly gained more popularity with its incredibly powerful ability to make predictions or calculated suggestions for large amounts of data. We describe an application of the supervised machine-learning algorithm, random forests (RF), to the star/galaxy/QSO classification and the stellar effective temperature regression based on the combination of LAMOST and SDSS spectroscopic data. This combination enable us to obtain reliable predictions with one of the largest training sample ever used. The training samples are built with nine-color data set of about three million objects for the classification and seven-color data set of over one million stars for the regression. The performance of the classification and regression is examined with the validation and the blind tests on the objects in the RAVE, 6dFGS, UVQS and APOGEE surveys. We demonstrate that the RF is an effective algorithm with the classification accuracies higher than 99\% for the stars and the galaxies, and higher than 94\% for the QSOs. These accuracies are higher than the machine-learning results in the former studies. The total standard deviations of the regression are smaller than 200 K that is similar to those of some spectrum-based methods. The machine-learning algorithm with the broad-band photometry provides us a more efficient approach to deal with massive amounts of astrophysical data than traditional color-cuts and SED fit.


title: Mutual Heterogeneous Signcryption Schemes for 5G Network Slicings

abstract: With the emerging of mobile communication technologies, we are entering the fifth generation mobile communication system (5G) era. Various application scenarios will arise in the 5G era to meet the different service requirements. Different 5G network slicings may deploy different public key cryptosystems. The security issues among the heterogeneous systems should be considered. In order to ensure the secure communications between 5G network slicings, in different public cryptosystems, we propose two heterogeneous signcryption schemes which can achieve mutual communications between the Public Key Infrastructure (PKI) and the CertificateLess public key Cryptography (CLC) environment. We prove that our schemes have the INDistinguishability against Adaptive Chosen Ciphertext Attack (IND-CCA2) under the Computational Diffie-Hellman Problem (CDHP) and the Existential UnForgeability against adaptive Chosen Message Attack (EUF-CMA) under the Discrete Logarithm Problem (DLP) in the random oracle model. We also set up two heterogeneous cryptosystems on Raspberry Pi to simulate the interprocess communication between different public key environments. Furthermore, we quantify and analyze the performance of each scheme. Compared with the existing schemes, our schemes have greater efficiency and security.


title: Analysis of Fleet Modularity in an Artificial Intelligence-Based Attacker-Defender Game

abstract: Because combat environments change over time and technology upgrades are widespread for ground vehicles, a large number of vehicles and equipment become quickly obsolete. A possible solution for the U.S. Army is to develop fleets of modular military vehicles, which are built by interchangeable substantial components also known as modules. One of the typical characteristics of module is their ease of assembly and disassembly through simple means such as plug-in/pull-out actions, which allows for real-time fleet reconfiguration to meet dynamic demands. Moreover, military demands are time-varying and highly stochastic because commanders keep reacting to enemy's actions. To capture these characteristics, we formulated an intelligent agent-based model to imitate decision making process during fleet operation, which combines real-time optimization with artificial intelligence. The agents are capable of inferring enemy's future move based on historical data and optimize dispatch/operation decisions accordingly. We implement our model to simulate an attacker-defender game between two adversarial and intelligent players, representing the commanders from modularized fleet and conventional fleet respectively. Given the same level of combat resources and intelligence, we highlight the tactical advantages of fleet modularity in terms of win rate, unpredictability and suffered damage.


title: Spatter: A Tool for Evaluating Gather / Scatter Performance

abstract: This paper describes a new benchmark tool, Spatter, for assessing memory system architectures in the context of a specific category of indexed accesses known as gather and scatter. These types of operations are increasingly used to express sparse and irregular data access patterns, and they have widespread utility in many modern HPC applications including scientific simulations, data mining and analysis computations, and graph processing. However, many traditional benchmarking tools like STREAM, STRIDE, and GUPS focus on characterizing only uniform stride or fully random accesses despite evidence that modern applications use varied sets of more complex access patterns. Spatter is an open-source benchmark that provides a tunable and configurable framework to benchmark a variety of indexed access patterns, including variations of gather/scatter that are seen in HPC mini-apps evaluated in this work. The design of Spatter includes tunable backends for OpenMP and CUDA, and experiments show how it can be used to evaluate 1) uniform access patterns for CPU and GPU, 2) prefetching regimes for gather/scatter, 3) compiler implementations of vectorization for gather/scatter, and 4) trace-driven "proxy patterns" that reflect the patterns found in multiple applications. The results from Spatter experiments show that GPUs typically outperform CPUs for these operations, and that Spatter can better represent the performance of some cache-dependent mini-apps than traditional STREAM bandwidth measurements.


title: Density estimation for shift-invariant multidimensional distributions

abstract: We study density estimation for classes of shift-invariant distributions over $\mathbb{R}^d$. A multidimensional distribution is "shift-invariant" if, roughly speaking, it is close in total variation distance to a small shift of it in any direction. Shift-invariance relaxes smoothness assumptions commonly used in non-parametric density estimation to allow jump discontinuities. The different classes of distributions that we consider correspond to different rates of tail decay. For each such class we give an efficient algorithm that learns any distribution in the class from independent samples with respect to total variation distance. As a special case of our general result, we show that $d$-dimensional shift-invariant distributions which satisfy an exponential tail bound can be learned to total variation distance error $\epsilon$ using $\tilde{O}_d(1/ \epsilon^{d+2})$ examples and $\tilde{O}_d(1/ \epsilon^{2d+2})$ time. This implies that, for constant $d$, multivariate log-concave distributions can be learned in $\tilde{O}_d(1/\epsilon^{2d+2})$ time using $\tilde{O}_d(1/\epsilon^{d+2})$ samples, answering a question of [Diakonikolas, Kane and Stewart, 2016] All of our results extend to a model of noise-tolerant density estimation using Huber's contamination model, in which the target distribution to be learned is a $(1-\epsilon,\epsilon)$ mixture of some unknown distribution in the class with some other arbitrary and unknown distribution, and the learning algorithm must output a hypothesis distribution with total variation distance error $O(\epsilon)$ from the target distribution. We show that our general results are close to best possible by proving a simple $\Omega\left(1/\epsilon^d\right)$ information-theoretic lower bound on sample complexity even for learning bounded distributions that are shift-invariant.


title: A Fundamental Measure of Treatment Effect Heterogeneity

abstract: We offer a non-parametric plug-in estimator for an important measure of treatment effect variability and provide minimum conditions under which the estimator is asymptotically efficient. The stratum specific treatment effect function or so-called blip function, is the average treatment effect for a randomly drawn stratum of confounders. The mean of the blip function is the average treatment effect (ATE), whereas the variance of the blip function (VTE), the main subject of this paper, measures overall clinical effect heterogeneity, perhaps providing a strong impetus to refine treatment based on the confounders. VTE is also an important measure for assessing reliability of the treatment for an individual. The CV-TMLE provides simultaneous plug-in estimates and inference for both ATE and VTE, guaranteeing asymptotic efficiency under one less condition than for TMLE. This condition is difficult to guarantee a priori, particularly when using highly adaptive machine learning that we need to employ in order to eliminate bias. Even in defiance of this condition, CV-TMLE sampling distributions maintain normality, not guaranteed for TMLE, and have a lower mean squared error than their TMLE counterparts. In addition to verifying the theoretical properties of TMLE and CV-TMLE through simulations, we point out some of the challenges in estimating VTE, which lacks double robustness and might be unavoidably biased if the true VTE is small and sample size insufficient. We will provide an application of the estimator on a data set for treatment of acute trauma patients.


title: New results for radiative 3He(2H,gamma)5Li capture at astrophysical energy and its possible role in accumulation of 6Li at the BBN

abstract: Big Bang Nucleosynthesis (BBN) relevance reactions 3He(2H,{\gamma})5Li, 3H(3He,{\gamma})6Li, 5Li(n,{\gamma})6Li as a key to approach for scenario of 6Li formation are treated. The rates of reaction for these processes are analyzed. Comparison of the reactions rates and the prevalence of light elements leads to the assumption that the two-step process 2H + 3He --> 5Li + {\gamma} and n + 5Li --> 6Li + {\gamma} can make a significant contribution to the formation of 6Li at the BBN at least at temperatures T9 of the order of unity. Calculations of the total cross sections, astrophysical S-factor, and reaction rates have been performed for 3He(2H,{\gamma})5Li radiative capture within the modified potential cluster model with forbidden states, which follow from the classification of the orbital cluster states according to Young diagrams. Numerical data and corresponding parametrizations cover the energy range up to 5 MeV and temperature range T9<10. An updated compilation of detailed data for the reaction 3He(2H,{\gamma})5Li are presented.


title: Inducibility of directed paths

abstract: A long standing open problem in extremal graph theory is to describe all graphs that maximize the number of induced copies of a path on four vertices. The character of the problem changes in the setting of oriented graphs, and becomes more tractable. Here we resolve this problem in the setting of oriented graphs without transitive triangles.


title: Adaptive Task Allocation for Mobile Edge Learning

abstract: This paper aims to establish a new optimization paradigm for implementing realistic distributed learning algorithms, with performance guarantees, on wireless edge nodes with heterogeneous computing and communication capacities. We will refer to this new paradigm as `Mobile Edge Learning (MEL)'. The problem of dynamic task allocation for MEL is considered in this paper with the aim to maximize the learning accuracy, while guaranteeing that the total times of data distribution/aggregation over heterogeneous channels, and local computing iterations at the heterogeneous nodes, are bounded by a preset duration. The problem is first formulated as a quadratically-constrained integer linear problem. Being an NP-hard problem, the paper relaxes it into a non-convex problem over real variables. We thus proposed two solutions based on deriving analytical upper bounds of the optimal solution of this relaxed problem using Lagrangian analysis and KKT conditions, and the use of suggest-and-improve starting from equal batch allocation, respectively. The merits of these proposed solutions are exhibited by comparing their performances to both numerical approaches and the equal task allocation approach.


title: Bilateral Control of Two Finger Joints Using Functional Electrical Stimulation

abstract: Bilateral control, a remote-control technique, is used to work at a distance. However, many existing bilateral control systems have two common problems: 1) it is difficult to create a system like a human hand, that has multiple degrees of freedom and 2) if the mechanism becomes too complicated, operators feel restrained and experience discomfort. Because, for these reasons, the bilateral control of fingers has not been accomplished to date, we aimed to overcome this by applying functional electrical stimulation~(FES). In our experiments, through an adhesive electrode pad, electrical stimulation was delivered to the muscles that flex and expand the metacarpophalangeal joints of the thumb and middle finger. Position-symmetrical bilateral control was implemented so that the deviation of the master's and slave's positions relative to each other was zero degrees. A sliding mode controller was used as a position controller. We found it possible to control multiple degrees of freedom; however, we found areas where the number of tracking errors was large. We speculated that the middle finger did not bend, because the arm rotates as the thumb was abduction, therefore the position of the motor point of the middle finger deviates from the position of the pad.


title: Ball: An R package for detecting distribution difference and association in metric spaces

abstract: The rapid development of modern technology facilitates the appearance of numerous unprecedented complex data which do not satisfy the axioms of Euclidean geometry, while most of the statistical hypothesis tests are available in Euclidean or Hilbert spaces. To properly analyze the data of more complicated structures, efforts have been made to solve the fundamental test problems in more general spaces. In this paper, a publicly available R package Ball is provided to implement Ball statistical test procedures for K-sample distribution comparison and test of mutual independence in metric spaces, which extend the test procedures for two sample distribution comparison and test of independence. The tailormade algorithms as well as engineering techniques are employed on the Ball package to speed up computation to the best of our ability. Two real data analyses and several numerical studies have been performed and the results certify the powerfulness of Ball package in analyzing complex data, e.g., spherical data and symmetric positive matrix data.


title: Imagining an Engineer: On GAN-Based Data Augmentation Perpetuating Biases

abstract: The use of synthetic data generated by Generative Adversarial Networks (GANs) has become quite a popular method to do data augmentation for many applications. While practitioners celebrate this as an economical way to get more synthetic data that can be used to train downstream classifiers, it is not clear that they recognize the inherent pitfalls of this technique. In this paper, we aim to exhort practitioners against deriving any false sense of security against data biases based on data augmentation. To drive this point home, we show that starting with a dataset consisting of head-shots of engineering researchers, GAN-based augmentation "imagines" synthetic engineers, most of whom have masculine features and white skin color (inferred from a human subject study conducted on Amazon Mechanical Turk). This demonstrates how biases inherent in the training data are reinforced, and sometimes even amplified, by GAN-based data augmentation; it should serve as a cautionary tale for the lay practitioners.


title: DeepSaucer: Unified Environment for Verifying Deep Neural Networks

abstract: In recent years, a number of methods for verifying DNNs have been developed. Because the approaches of the methods differ and have their own limitations, we think that a number of verification methods should be applied to a developed DNN. To apply a number of methods to the DNN, it is necessary to translate either the implementation of the DNN or the verification method so that one runs in the same environment as the other. Since those translations are time-consuming, a utility tool, named DeepSaucer, which helps to retain and reuse implementations of DNNs, verification methods, and their environments, is proposed. In DeepSaucer, code snippets of loading DNNs, running verification methods, and creating their environments are retained and reused as software assets in order to reduce cost of verifying DNNs. The feasibility of DeepSaucer is confirmed by implementing it on the basis of Anaconda, which provides virtual environment for loading a DNN and running a verification method. In addition, the effectiveness of DeepSaucer is demonstrated by usecase examples.


title: On the definability of mad families of vector spaces

abstract: We consider the definability of mad families in vector spaces of the form $\underset{n<\omega}{\bigoplus} F$ where $F$ is a field of cardinality $\leq \aleph_0$. We show that there is no analytic mad family of subspaces when $F=\mathbb{F}_2$, partially answering a question of Smythe. Our proof relies on a variant of Mathias forcing restricted to a certain idempotent ultrafilter whose existence follows from Glazer's proof of Hindman's theorem.


title: Neural sequence labeling for Vietnamese POS Tagging and NER

abstract: This paper presents a neural architecture for Vietnamese sequence labeling tasks including part-of-speech (POS) tagging and named entity recognition (NER). We applied the model described in \cite{lample-EtAl:2016:N16-1} that is a combination of bidirectional Long-Short Term Memory and Conditional Random Fields, which rely on two sources of information about words: character-based word representations learned from the supervised corpus and pre-trained word embeddings learned from other unannotated corpora. Experiments on benchmark datasets show that this work achieves state-of-the-art performances on both tasks - 93.52\% accuracy for POS tagging and 94.88\% F1 for NER. Our sourcecode is available at here.


title: A new insight into the secondary path modeling problem in active noise control

abstract: The close relationship between the feedforward ANC system and the stereo acoustic echo cancellation system is revealed in this paper. Accordingly, the convergence behavior of the ANC system can be analyzed by investigating the joint auto-correlation matrix of the reference and the filtered reference signal. It is proved that the straightforward secondary path modeling can be carried out without the injection of any additive noise as long as the control filter is of a sufficiently long length. Furthermore, by taking advantage of the time-varying characteristic of the control filter, effective modeling of the secondary path can be even achieved without any restriction on the control filter length.


title: The rigid-flexible value for symplectic embeddings of four-dimensional ellipsoids into polydiscs

abstract: In previous work of Cristofaro-Gardiner, Frenkel, and Schlenk, the embedding function $c_b(a)$ describing the problem of symplectically embedding an ellipsoid $E(1,a)$ into the smallest scaling of the polydisc $P(1,b)$ was determined for all integers $b \geq 2.$ As in McDuff's work, Cristofaro-Gardiner, Frenkel, and Schlenk found staircases associated with the embedding function. More recently, Usher's work shows that the appearance of infinite staircases as $b$ varies is hard to predict. The intricate structure found there suggests that determining the entirety of the graph of $c_b(a)$ for all $b$ is intractable. In contrast with this result, we show that for every polydisc $P(1,b)$ with $b>2$, there is an explicit formula for the minimum $a$ such that the embedding problem is determined only by volume. That is, when the ellipsoid is sufficiently stretched, there is a symplectic embedding of $E(1,a)$ fully filling an appropriately scaled polydisc $P(\lambda,\lambda b)$. We call this value of $a$ the rigid-flexible value at $b$, or the RF-value. This formula is piecewise smooth in $b$. To further describe the function $RF(b)$, we investigate its behavior as $b\to 1$. Frenkel and M\"{u}ller showed that the $RF$-value at $b=1$ is $7 \frac{1}{32}$ and Cristofaro-Gardiner, Frenkel, and Schlenk showed that the $RF$-value at $b=2$ is $8 \frac{1}{36}.$ By exhibiting a sequence of obstructive classes for $b = \frac{n+1}{n}$ at $a=8$, in combination with the Frenkel-M\"{u}ller result, we show that $RF$ is discontinuous at $b=1$.


title: Feedback Integrators for Nonholonomic Mechanical Systems

abstract: The theory of feedback integrators is extended to handle mechanical systems with nonholonomic constraints with or without symmetry, so as to produce numerical integrators that preserve the nonholonomic constraints as well as other conserved quantities. To extend the feedback integrators, we develop a suitable extension theory for nonholonomic systems, and also a corresponding reduction theory for systems with symmetry. It is then applied to various nonholonomic systems such as the Suslov problem on SO(3), the knife edge, the Chaplygin sleigh, the vertical rolling disk, the roller racer, the Heisenberg system, and the nonholonomic oscillator.


title: Influence of Technical and Social Factors for Introducing Bugs

abstract: [This paper has been withdrawn by the author due to updated research available on arXiv (arXiv:1811.01918)] As the modern open-source paradigm makes it easier to contribute to software projects, the number of developers involved in these projects keep increasing. This growth in the amount of developers makes it more difficult to deal with harmful contributions. Recent researches have found that technical and social factors can predict the success of contributions to open-source projects on GitHub. However, these researches do not study the relation between these factors with the introduction of bugs. Our study aims at investigating the influence of technical (such as, developers' experience) and social (such as, number of followers) factors on the introduction of bugs, using information from 14 projects hosted on GitHub. Understanding the influence of these factors may be useful to developers, code reviewers and researchers. For instance, code reviewers may want to double check commits from developers that present bug-related factors. We found that technical factors have a consistent influence in the introduction of bugs. On the other hand, social factors present signs of influence in bug introduction that would require more data to be properly evaluated. Moreover, we found that perils present in the mining of GitHub may impact the factors results.


title: Imitation Learning for Object Manipulation Based on Position/Force Information Using Bilateral Control

abstract: This study proposes an imitation learning method based on force and position information. Force information is required for precise object manipulation but is difficult to obtain because the acting and reaction forces cannnot be separated. To separate the forces, we proposed to introduce bilateral control, in which the acting and reaction forces are divided using two robots. In the proposed method, two models of neural networks learn a task; to draw a line along a ruler. We verify the possibility that force information is essential to imitate the human skill of object manipulation.


title: EA-LSTM: Evolutionary Attention-based LSTM for Time Series Prediction

abstract: Time series prediction with deep learning methods, especially long short-term memory neural networks (LSTMs), have scored significant achievements in recent years. Despite the fact that the LSTMs can help to capture long-term dependencies, its ability to pay different degree of attention on sub-window feature within multiple time-steps is insufficient. To address this issue, an evolutionary attention-based LSTM training with competitive random search is proposed for multivariate time series prediction. By transferring shared parameters, an evolutionary attention learning approach is introduced to the LSTMs model. Thus, like that for biological evolution, the pattern for importance-based attention sampling can be confirmed during temporal relationship mining. To refrain from being trapped into partial optimization like traditional gradient-based methods, an evolutionary computation inspired competitive random search method is proposed, which can well configure the parameters in the attention layer. Experimental results have illustrated that the proposed model can achieve competetive prediction performance compared with other baseline methods.


title: RSA: Byzantine-Robust Stochastic Aggregation Methods for Distributed Learning from Heterogeneous Datasets

abstract: In this paper, we propose a class of robust stochastic subgradient methods for distributed learning from heterogeneous datasets at presence of an unknown number of Byzantine workers. The Byzantine workers, during the learning process, may send arbitrary incorrect messages to the master due to data corruptions, communication failures or malicious attacks, and consequently bias the learned model. The key to the proposed methods is a regularization term incorporated with the objective function so as to robustify the learning task and mitigate the negative effects of Byzantine attacks. The resultant subgradient-based algorithms are termed Byzantine-Robust Stochastic Aggregation methods, justifying our acronym RSA used henceforth. In contrast to most of the existing algorithms, RSA does not rely on the assumption that the data are independent and identically distributed (i.i.d.) on the workers, and hence fits for a wider class of applications. Theoretically, we show that: i) RSA converges to a near-optimal solution with the learning error dependent on the number of Byzantine workers; ii) the convergence rate of RSA under Byzantine attacks is the same as that of the stochastic gradient descent method, which is free of Byzantine attacks. Numerically, experiments on real dataset corroborate the competitive performance of RSA and a complexity reduction compared to the state-of-the-art alternatives.


title: Typeface Completion with Generative Adversarial Networks

abstract: The mood of a text and the intention of the writer can be reflected in the typeface. However, in designing a typeface, it is difficult to keep the style of various characters consistent, especially for languages with lots of morphological variations such as Chinese. In this paper, we propose a Typeface Completion Network (TCN) which takes one character as an input, and automatically completes the entire set of characters in the same style as the input characters. Unlike existing models proposed for image-to-image translation, TCN embeds a character image into two separate vectors representing typeface and content. Combined with a reconstruction loss from the latent space, and with other various losses, TCN overcomes the inherent difficulty in designing a typeface. Also, compared to previous image-to-image translation models, TCN generates high quality character images of the same typeface with a much smaller number of model parameters. We validate our proposed model on the Chinese and English character datasets, which is paired data, and the CelebA dataset, which is unpaired data. In these datasets, TCN outperforms recently proposed state-of-the-art models for image-to-image translation. The source code of our model is available at https://github.com/yongqyu/TCN.


title: Towards Instance-Optimal Private Query Release

abstract: We study efficient mechanisms for the query release problem in differential privacy: given a workload of $m$ statistical queries, output approximate answers to the queries while satisfying the constraints of differential privacy. In particular, we are interested in mechanisms that optimally adapt to the given workload. Building on the projection mechanism of Nikolov, Talwar, and Zhang, and using the ideas behind Dudley's chaining inequality, we propose new efficient algorithms for the query release problem, and prove that they achieve optimal sample complexity for the given workload (up to constant factors, in certain parameter regimes) with respect to the class of mechanisms that satisfy concentrated differential privacy. We also give variants of our algorithms that satisfy local differential privacy, and prove that they also achieve optimal sample complexity among all local sequentially interactive private mechanisms.


title: PAC: A Novel Self-Adaptive Neuro-Fuzzy Controller for Micro Aerial Vehicles

abstract: There exists an increasing demand for a flexible and computationally efficient controller for micro aerial vehicles (MAVs) due to a high degree of environmental perturbations. In this work, an evolving neuro-fuzzy controller, namely Parsimonious Controller (PAC) is proposed. It features fewer network parameters than conventional approaches due to the absence of rule premise parameters. PAC is built upon a recently developed evolving neuro-fuzzy system known as parsimonious learning machine (PALM) and adopts new rule growing and pruning modules derived from the approximation of bias and variance. These rule adaptation methods have no reliance on user-defined thresholds, thereby increasing the PAC's autonomy for real-time deployment. PAC adapts the consequent parameters with the sliding mode control (SMC) theory in the single-pass fashion. The boundedness and convergence of the closed-loop control system's tracking error and the controller's consequent parameters are confirmed by utilizing the LaSalle-Yoshizawa theorem. Lastly, the controller's efficacy is evaluated by observing various trajectory tracking performance from a bio-inspired flapping-wing micro aerial vehicle (BI-FWMAV) and a rotary wing micro aerial vehicle called hexacopter. Furthermore, it is compared to three distinctive controllers. Our PAC outperforms the linear PID controller and feed-forward neural network (FFNN) based nonlinear adaptive controller. Compared to its predecessor, G-controller, the tracking accuracy is comparable, but the PAC incurs significantly fewer parameters to attain similar or better performance than the G-controller.


title: Inertial force, Hawking Temperature and Quantum Statistics

abstract: To explore the mechanism for the entropic force proposal in Entropic Gravity, we propose a specific thermodynamic process for states thermalized in local Hawking Temperature. We find when Casini's version of the Bekenstein bound is saturated, the thermodynamic force derived in the entanglement first law matches the local inertial force for the Schwarzschild solution, except for a negligible statistics-dependent factor. We argue the gravity viewed by static observers may have observable effects emerged from quantum statistics. The successful detailed calculation in this simple model inspires and is in support of the further development in our following research arXiv:2004.14059.


title: Endogeneous Dynamics of Intraday Liquidity

abstract: In this paper we investigate the endogenous information contained in four liquidity variables at a five minutes time scale on equity markets around the world: the traded volume, the bid-ask spread, the volatility and the volume at first limits of the orderbook. In the spirit of Granger causality, we measure the level of information by the level of accuracy of linear autoregressive models. This empirical study is carried out on a dataset of more than 300 stocks from four different markets (US, UK, Japan and Hong Kong) from a period of over five years. We discuss the obtained performances of autoregressive (AR) models on stationarized versions of the variables, focusing on explaining the observed differences between stocks. Since empirical studies are often conducted at this time scale, we believe it is of paramount importance to document endogenous dynamics in a simple framework with no addition of supplemental information. Our study can hence be used as a benchmark to identify exogenous effects. On the other hand, most optimal trading frameworks (like the celebrated Almgren and Chriss one), focus on computing an optimal trading speed at a frequency close to the one we consider. Such frameworks very often take i.i.d. assumptions on liquidity variables; this paper document the auto-correlations emerging from real data, opening the door to new developments in optimal trading.


title: Energy-Efficient Offloading in Mobile Edge Computing with Edge-Cloud Collaboration

abstract: Multiple access mobile edge computing is an emerging technique to bring computation resources close to end mobile users. By deploying edge servers at WiFi access points or cellular base stations, the computation capabilities of mobile users can be extended. Existing works mostly assume the remote cloud server can be viewed as a special edge server or the edge servers are willing to cooperate, which is not practical. In this work, we propose an edge-cloud cooperative architecture where edge servers can rent for the remote cloud servers to expedite the computation of tasks from mobile users. With this architecture, the computation offloading problem is modeled as a mixed integer programming with delay constraints, which is NP-hard. The objective is to minimize the total energy consumption of mobile devices. We propose a greedy algorithm as well as a simulated annealing algorithm to effectively solve the problem. Extensive simulation results demonstrate that, the proposed greedy algorithm and simulated annealing algorithm can achieve the near optimal performance. On average, the proposed greedy algorithm can achieve the same application completing time budget performance of the Brute Force optional algorithm with only 31\% extra energy cost. The simulated annealing algorithm can achieve similar performance with the greedy algorithm.


title: M2M-GAN: Many-to-Many Generative Adversarial Transfer Learning for Person Re-Identification

abstract: Cross-domain transfer learning (CDTL) is an extremely challenging task for the person re-identification (ReID). Given a source domain with annotations and a target domain without annotations, CDTL seeks an effective method to transfer the knowledge from the source domain to the target domain. However, such a simple two-domain transfer learning method is unavailable for the person ReID in that the source/target domain consists of several sub-domains, e.g., camera-based sub-domains. To address this intractable problem, we propose a novel Many-to-Many Generative Adversarial Transfer Learning method (M2M-GAN) that takes multiple source sub-domains and multiple target sub-domains into consideration and performs each sub-domain transferring mapping from the source domain to the target domain in a unified optimization process. The proposed method first translates the image styles of source sub-domains into that of target sub-domains, and then performs the supervised learning by using the transferred images and the corresponding annotations in source domain. As the gap is reduced, M2M-GAN achieves a promising result for the cross-domain person ReID. Experimental results on three benchmark datasets Market-1501, DukeMTMC-reID and MSMT17 show the effectiveness of our M2M-GAN.


title: Dimension drop for harmonic measure on Ahlfors regular boundaries

abstract: We show that given a domain $\Omega\subseteq \mathbb{R}^{d+1}$ with uniformly non-flat Ahlfors $s$-regular boundary and $s\geq d$, the dimension of its harmonic measure is strictly less than $s$.


title: New p-adic hypergeometric functions and syntomic regulators

abstract: We introduce new p-adic convergent functions, which we call the p-adic hypergeometric functions of logarithmic type. The first main result is to prove the congruence relations that are similar to Dwork's. The second main result is that the special values of our new functions appear in the syntomic regulators for hypergeometric curves, Fermat curves and some elliptic curves. According to the p-adic Beilinson conjecture by Perrin-Riou, they are expected to be related with the special values of p-adic L-functions. We provide one example for this.


title: Multiple Ultralight Axionic Wave Dark Matter and Astronomical Structures

abstract: An ultralight scalar boson with mass $m_1 \simeq 10^{-22}$ eV is gaining credence as a Dark Matter (DM) candidate that explains the dark cores of dwarf galaxies as soliton waves. Such a boson is naturally interpreted as an axion generic in String Theory, with multiple light axions predicted in this context. We examine the possibility of soliton structures over a wide range of scales, accounting for galaxy core masses and the common presence of nuclear star clusters. We present a diagnostic soliton core mass-radius plot that provides a global view, indicating the existence of an additional axion with mass $m_2\simeq 10^{-20}$ eV, with the possibility of a third axion with mass $m_3 \gtrsim 0.5 \times 10^{-18}$ eV. We also argue that the relative mass densities measured for these axions are consistent with their cosmological production via the mis-alignment mechanism.


title: Quantum Information Capsule and Information Delocalization by Entanglement in Multiple-qubit Systems

abstract: Where do entangled multiple-qubit systems store information? For information injected into a qubit, this question is nontrivial and interesting since the entanglement delocalizes the information. So far, a common picture is that of a qubit and its purification partner sharing the information quantum mechanically. Here, we introduce a new picture of a single qubit in the correlation space, referred to as quantum information capsule (QIC), confining the information perfectly. This picture is applicable for the entangled multiple-qubit system in an arbitrary state. Unlike the partner picture, in the QIC picture, by swapping the single-body state, leaving other subsystems untouched, the whole information can be retrieved out of the system. After the swapping process, no information remains in the system.

categories: quant-ph cond-mat.stat-mech gr-qc hep-th


title: A Fully Automated System for Sizing Nasal PAP Masks Using Facial Photographs

abstract: We present a fully automated system for sizing nasal Positive Airway Pressure (PAP) masks. The system is comprised of a mix of HOG object detectors as well as multiple convolutional neural network stages for facial landmark detection. The models were trained using samples from the publicly available PUT and MUCT datasets while transfer learning was also employed to improve the performance of the models on facial photographs of actual PAP mask users. The fully automated system demonstrated an overall accuracy of 64.71% in correctly selecting the appropriate mask size and 86.1% accuracy sizing within 1 mask size.


title: Artificial neural networks for density-functional optimizations in fermionic systems

abstract: In this work we propose an artificial neural network functional to the ground-state energy of fermionic interacting particles in homogeneous chains described by the Hubbard model. Our neural network functional was proven to has an excellent performance: it deviates from numerically exact calculations by less than $0.15\%$ for all the regimes of filling factors and magnetizations, and for a vast regime of interactions. When compared to analytical functionals, the neural functional was found to be more precise for all the regimes of parameters, being particularly superior at the weakly interacting regime: where the analytical parametrization fails the most, $\sim7\%$, against only $\sim0.1\%$ for the neural functional. We have also applied our homogeneous functional to finite, localized impurities and harmonically confined systems within density-functional theory (DFT) methods. The results show that while our artificial neural network approach is substantially more accurate than other equivalently simple and fast DFT treatments, it has similar performance than more costly DFT calculations and other independent many-body calculations, at a fraction of the computational cost.


title: Nonlinear Modal Decoupling Based Power System Transient Stability Analysis

abstract: Nonlinear modal decoupling (NMD) was recently proposed to nonlinearly transform a multi-oscillator system into a number of decoupled oscillators which together behave the same as the original system in an extended neighborhood of the equilibrium. Each oscillator has just one degree of freedom and hence can easily be analyzed to infer the stability of the original system associated with one electromechanical mode. As the first attempt of applying the NMD methodology to realistic power system models, this paper proposes an NMD-based transient stability analysis approach. For a multi-machine power system, the approach first derives decoupled nonlinear oscillators by a coordinates transformation, and then applies Lyapunov stability analysis to oscillators to assess the stability of the original system. Nonlinear modal interaction is also considered. The approach can be efficiently applied to a large-scale power grid by conducting NMD regarding only selected modes. Case studies on a 3-machine 9-bus system and an NPCC 48-machine 140-bus system show the potentials of the approach in transient stability analysis for multi-machine systems.


title: Quantum radiation from a shaken two-level atom in vacuum

abstract: We present a non-relativistic theory of quantum radiation generated by shaking a two-level atom in vacuum. Such radiation has the same origin of photon emission in dynamical Casimir effect. By performing a time-dependent "dressing" transformation to the Hamiltonian, we derive an interaction term that governs the radiation. In particular, we show that photon pairs can be generated, not only by shaking the position of the atom, but also by changing the internal states of the atom. As applications of our theory, we calculate the emission rate from an oscillating atom, and the multi-photon state generated in a single-photon scattering process.


title: Codeword Position Index based Sparse Code Multiple Access System

abstract: In this letter, a novel variation of sparse code multiple access (SCMA), called codeword position index based SCMA (CPI-SCMA), is proposed. In this scheme, the information is transmitted not only by the codewords in M point SCMA codebook, but also by the indices of the codeword positions in a data block. As such, both the power and transmission efficiency (TE) can be improved, moreover, CPI-SCMA can achieve a better error rate performance compare to conventional SCMA (C-SCMA).


title: Probing the Inner Disk Emission of the Herbig Ae Stars HD 163296 and HD 190073

abstract: The physical processes occurring within the inner few astronomical units of proto-planetary disks surrounding Herbig Ae stars are crucial to setting the environment in which the outer planet-forming disk evolves and put critical constraints on the processes of accretion and planet migration. We present the most complete published sample of high angular resolution H- and K-band observations of the stars HD 163296 and HD 190073, including 30 previously unpublished nights of observations of the former and 45 nights of the latter with the CHARA long-baseline interferometer, in addition to archival VLTI data. We confirm previous observations suggesting significant near-infrared emission originates within the putative dust evaporation front of HD 163296 and show this is the case for HD 190073 as well. The H- and K-band sizes are the same within $(3 \pm 3)\%$ for HD 163296 and within $(6 \pm 10)\%$ for HD 190073. The radial surface brightness profiles for both disks are remarkably Gaussian-like with little or no sign of the sharp edge expected for a dust evaporation front. Coupled with spectral energy distribution analysis, our direct measurements of the stellar flux component at H and K bands suggest that HD 190073 is much younger (<400 kyr) and more massive (~5.6 M$_\odot$) than previously thought, mainly as a consequence of the new Gaia distance (891 pc).


title: Symmetry breaking states in the half-filled two-orbital Hubbard model with crystalline electric field

abstract: We investigate the half-filled two-orbital Hubbard model with the crystalline electric field using dynamical mean-field theory combined with the continuous-time quantum Monte Carlo simulations. We systematically study how the interplay of the intra- and interorbital Coulomb interations together with the Hund coupling realizes the diagonal and off-diagonal ordered states. It is found that the antiferroorbital ordered state is realized in the Hubbard model, in addition to the antiferromagnetically ordered and excitonic states. The competition between the antiferroorbital ordered and excitonic states close to the band insulating state is addressed.


title: Addition-deletion theorem for free hyperplane arrangements and combinatorics

abstract: In the theory of hyperplane arrangements, the most important and difficult problem is the combinatorial dependency of several properties. In this atricle, we prove that Terao's celebrated addition-deletion theorem for free arrangements is combinatorial, i.e., whether you can apply it depends only on the intersection lattice of arrangements. The proof is based on a classical technique. Since some parts are already completed recently, we prove the rest part, i.e., the combinatoriality of the addition theorem. As a corollary, we can define a new class of free arrangements called the additionally free arrangement of hyperplanes, which can be constructed from the empty arrangement by using only the addition theorem. Then we can show that Terao's conjecture is true in this class. As an application, we can show that every ideal-Shi arrangement is additionally free, implying that their freeness is combinatorial.


title: A Null-model Exhibiting Synchronized Dynamics in Uncoupled Oscillators

abstract: The phenomenon of phase synchronization of oscillatory systems arising out of feedback coupling is ubiquitous across physics and biology. In noisy, complex systems, one generally observes transient epochs of synchronization followed by non-synchronous dynamics. How does one guarantee that the observed transient epochs of synchronization are arising from an underlying feedback mechanism and not from some peculiar statistical properties of the system? This question is particularly important for complex biological systems where the search for a non-existent feedback mechanism may turn out be an enormous waste of resources. In this article, we propose a null model for synchronization motivated by expectations on the dynamical behaviour of biological systems to provide a quantitative measure of the confidence with which one can infer the existence of a feedback mechanism based on observation of transient synchronized behaviour. We demonstrate the application of our null model to the phenomenon of gait synchronization in free-swimming nematodes, C. elegans.


title: A Theoretically Guaranteed Deep Optimization Framework for Robust Compressive Sensing MRI

abstract: Magnetic Resonance Imaging (MRI) is one of the most dynamic and safe imaging techniques available for clinical applications. However, the rather slow speed of MRI acquisitions limits the patient throughput and potential indi cations. Compressive Sensing (CS) has proven to be an efficient technique for accelerating MRI acquisition. The most widely used CS-MRI model, founded on the premise of reconstructing an image from an incompletely filled k-space, leads to an ill-posed inverse problem. In the past years, lots of efforts have been made to efficiently optimize the CS-MRI model. Inspired by deep learning techniques, some preliminary works have tried to incorporate deep architectures into CS-MRI process. Unfortunately, the convergence issues (due to the experience-based networks) and the robustness (i.e., lack real-world noise modeling) of these deeply trained optimization methods are still missing. In this work, we develop a new paradigm to integrate designed numerical solvers and the data-driven architectures for CS-MRI. By introducing an optimal condition checking mechanism, we can successfully prove the convergence of our established deep CS-MRI optimization scheme. Furthermore, we explicitly formulate the Rician noise distributions within our framework and obtain an extended CS-MRI network to handle the real-world nosies in the MRI process. Extensive experimental results verify that the proposed paradigm outperforms the existing state-of-the-art techniques both in reconstruction accuracy and efficiency as well as robustness to noises in real scene.


title: Rutile TiO2 Bulk Structural and Vibrational Properties: A DFT Study on the Importance of Pseudopotentials

abstract: Using first-principal density functional theory (DFT) we explained the importance of pseudopotential for decribing the electronic and vibrational properties of rutile TiO2 (R-TiO2). Calculations were performed using the generalized gradient approximation (GGA), local density approximation (LDA) and hybrid functional (HSE), with normconserving, ultrasoft and projector augmented wave (PAW) pseudopotential. The choice of an appropriate exchange-correlation functionals and the pseudopotential within DFT is critical to explain the different properties of R-TiO2. We found that the lattice parameters predicted by the norm-conserving pseudopotential and GGA are in excellent agreement with experimental data. Our studies reveal that norm-conserving pseudopotentials with GGA exchange-correlations provide much improvement for the prediction of the electronic properties of TiO2. We observed that, using LDA and ultrasoft pseudopotential is an excellent combination to describe the vibrational properties of R-TiO2. Furthermore, we observed the temperature dependent asymmetric nature of vibrational modes due to changes of bond lengths and different lattice vibrations.


title: Neutron scattering cross section of diamond nanoparticle

abstract: Due to their large coherent scattering cross section, diamond nanoparticles (DNPs) are considered as a promising candidate material for a new neutron reflector. For investigation of scattering cross sections of packed samples, we have developed a technique for mechanical compression of DNP powder. Application of 220 MPa allowed us to increase the bulk density from 0.40 g/cm$^3$ to 1.1 g/cm$^3$. The differential cross sections of uncompressed and packed samples were measured using the high-intensity total diffractometer instrument NOVA at J-PARC, covering transfer wavenumbers (q) from 0.6 to 100 nm$^{-1}$. The q dependence for the compressed sample agreed with the theoretical expectation derived from the Born approximation applied to homogeneous spheres with inclusion of a hard-sphere model to account for the inter-particle structure, whereas the results obtained from the powder sample disagreed. This implies that the theoretical description does not well represent the mesoscopic structure of the DNP powder sample.


title: Time-resolved x-ray microscopy for materials science

abstract: X-ray microscopy has been an indispensable tool to image nanoscale properties for materials research. One of its recent advances is to extend microscopic studies to the time domain for visualizing the dynamics of nanoscale phenomena. Large-scale x-ray facilities have been the powerhouse of time-resolved x-ray microscopy. Their upgrades including a significant reduction of the x-ray emittance at storage rings and fully coherent ultrashort x-ray pulses at free electron lasers, will lead to new developments in instrumentation and open new scientific opportunities for x-ray imaging of nanoscale dynamics with the simultaneous attainment of unprecedentedly high spatial and temporal resolutions. This review presents recent progress in and the outlook for time-resolved x-ray microscopy in the context of ultrafast nanoscale imaging and its applications to condensed matter physics and materials science.


title: Finding high-redshift strong lenses in DES using convolutional neural networks

abstract: We search Dark Energy Survey (DES) Year 3 imaging data for galaxy-galaxy strong gravitational lenses using convolutional neural networks. We generate 250,000 simulated lenses at redshifts > 0.8 from which we create a data set for training the neural networks with realistic seeing, sky and shot noise. Using the simulations as a guide, we build a catalogue of 1.1 million DES sources with 1.8 < g - i < 5, 0.6 < g -r < 3, r_mag > 19, g_mag > 20 and i_mag > 18.2. We train two ensembles of neural networks on training sets consisting of simulated lenses, simulated non-lenses, and real sources. We use the neural networks to score images of each of the sources in our catalogue with a value from 0 to 1, and select those with scores greater than a chosen threshold for visual inspection, resulting in a candidate set of 7,301 galaxies. During visual inspection we rate 84 as "probably" or "definitely" lenses. Four of these are previously known lenses or lens candidates. We inspect a further 9,428 candidates with a different score threshold, and identify four new candidates. We present 84 new strong lens candidates, selected after a few hours of visual inspection by astronomers. This catalogue contains a comparable number of high-redshift lenses to that predicted by simulations. Based on simulations we estimate our sample to contain most discoverable lenses in this imaging and at this redshift range.


title: Ionization-excitation of helium-like ions at Compton scattering

abstract: Ionization of helium-like ions with simultaneous excitation of the ns-states due to photon scattering is considered. The differential and total cross sections of the process are calculated to leading order of perturbation theory with respect to the interelectron interaction. The formulas obtained are applicable in the nonrelativistic energy range far beyond the ionization threshold.


title: Variable-step-length algorithms for a random walk: hitting probability and computation performance

abstract: We present a comparative study of several algorithms for an in-plane random walk with a variable step. The goal is to check the efficiency of the algorithm in the case where the random walk terminates at some boundary. We recently found that a finite step of the random walk produces a bias in the hitting probability and this bias vanishes in the limit of an infinitesimal step. Therefore, it is important to know how a change in the step size of the random walk influences the performance of simulations. We propose an algorithm with the most effective procedure for the step-length-change protocol.


title: Construction of isodual codes from polycirculant matrices

abstract: Double polycirculant codes are introduced here as a generalization of double circulant codes. When the matrix of the polyshift is a companion matrix of a trinomial, we show that such a code is isodual, hence formally self-dual. Numerical examples show that the codes constructed have optimal or quasi-optimal parameters amongst formally self-dual codes. Self-duality, the trivial case of isoduality, can only occur over $ \F_2$ in the double circulant case. Building on an explicit infinite sequence of irreducible trinomials over $\F_2,$ we show that binary double polycirculant codes are asymptotically good.