title: Fast Time Series Detrending with Applications to Heart Rate Variability Analysis

abstract: Here we discuss a new fast detrending method for the non-stationary RR time series used in Heart Rate Variability analysis. The described method is based on the diffusion equation, and we show numerically that it is equivalent to the widely used Smoothing Priors Approach (SPA) and Wavelet Smoothing Approach (WSA) methods. The speed of the proposed method is comparable to the WSA method and it is several orders of magnitude faster than the SPA method, which makes it suitable for very long time series analysis.


title: First-principles Study on Piezoelectricity and Spontaneous Polarization in Bi(Fe,Co)O3

abstract: Solid solution BiFe1-xCoxO3 shows anti-ferromagnetic order and pyroelectric order, simultaneously. It has been known that BiFe1-xCoxO3 exhibits a structural phase transition between monoclinic and tetragonal phases as x increases. This kinds of transition is often called morphotoropic phase boundary, which is well known to take place in a representative piezoelectric oxide, PbZr1-xTixO3. In order to theoretically understand the piezoelectric property in BiFe1-xCoxO3, we performed ab-initio electronic-structure calculations and studied the structural stability, the magnetic property, and the electronic polarization by means of super-cell approach. It turns out that the large electric polarization and the particular pyramidal coordination suppress the response of the electric polarization under strain. A way to enhance the piezoelectric effect in BiFe1-xCoxO3 is proposed.


title: ${}_{\Lambda\Lambda}^{5}$H and ${}_{\Lambda\Lambda}^{5}$He Hypernuclei reexamined in Halo/Cluster Effective Theory

abstract: The J=1/2 iso-doublet double-$\Lambda$-hypernuclei, namely, ${}_{\Lambda\Lambda}^{5}$H and ${}_{\Lambda\Lambda}^{5}$He, are examined as the three-body cluster states, $\Lambda\Lambda t$ ($t\equiv {}^3$H or triton) and $\Lambda\Lambda h$ ($h\equiv {}^3$He or helion), respectively, in a model independent framework utilizing pionless halo effective theory. Both singlet and triplet states of the constituent $\Lambda T$ ($T\equiv t,h$) sub-system are used in the elastic channel for the study of $_\Lambda^4$H$-\Lambda$ and $_\Lambda^4$He$-\Lambda$ scattering processes. A prototypical leading order investigation using a sharp momentum cut-off regulator, irrespective of the type of the elastic channel chosen, yields almost identical cut-off dependence of the three-body binding energy or the double-$\Lambda$-separation energy ($B_{\Lambda\Lambda}$) is obtained for the mirror partners, evidently suggesting good isospin symmetry in these three-body systems. Subsequently, upon normalization of our solutions to the integral equation with respect to a single pair of input data from an {\it ab initio} potential model analysis for each mirror hypernuclei, yields $B_{\Lambda\Lambda}$ which agrees fairly well with various erstwhile regulator independent potential models for our choice of the cut-off regulator, $\sim 200$ MeV. This is either consistent with pionless effective theory or with its slightly augmented version with a hard scale around $2m_\pi$, where low-energy $\Lambda$-$\Lambda$ interactions dominated by $\pi\pi$ or $\sigma$-meson exchange. Finally, to demonstrate the predictability of our effective theory, we present preliminary estimates of the S-wave $\Lambda\Lambda T$ three-body scattering lengths and the $\Lambda$-separation energies.


title: Privaros: A Framework for Privacy-Compliant Delivery Drones

abstract: We present Privaros, a framework to enforce privacy policies on drones. Privaros is designed for commercial delivery drones, such as the ones that will likely be used by Amazon Prime Air. Such drones visit a number of host airspaces, each of which may have different privacy requirements. Privaros provides an information flow control framework to enforce the policies of these hosts on the guest delivery drones. The mechanisms in Privaros are built on top of ROS, a middleware popular in many drone platforms. This paper presents the design and implementation of these mechanisms, describes how policies are specified, and shows that Privaros's policy specification can be integrated with India's Digital Sky portal. Our evaluation shows that a drone running Privaros can robustly enforce various privacy policies specified by hosts, and that its core mechanisms only marginally increase communication latency and power consumption.


title: Low-threshold topological nanolasers based on second-order corner state

abstract: The topological lasers, which are immune to imperfections and disorders, have been recently demonstrated based on many kinds of robust edge states, being mostly at microscale. The realization of 2D on-chip topological nanolasers, having the small footprint, low threshold and high energy efficiency, is still to be explored. Here, we report on the first experimental demonstration of the topological nanolaser with high performance in 2D photonic crystal slab. Based on the generalized 2D Su-Schrieffer-Heeger model, a topological nanocavity is formed with the help of the Wannier-type 0D corner state. Laser behaviors with low threshold about 1 $\mu W$ and high spontaneous emission coupling factor of 0.25 are observed with quantum dots as the active material. Such performance is much better than that of topological edge lasers and comparable to conventional photonic crystal nanolasers. Our experimental demonstration of the low-threshold topological nanolaser will be of great significance to the development of topological nanophotonic circuitry for manipulation of photons in classical and quantum regimes.


title: Path-dependent connectivity, not modularity, consistently predicts controllability of structural brain networks

abstract: The human brain displays rich communication dynamics that are thought to be particularly well-reflected in its marked community structure. Yet, the precise relationship between community structure in structural brain networks and the communication dynamics that can emerge therefrom is not well-understood. In addition to offering insight into the structure-function relationship of networked systems, such an understanding is a critical step towards the ability to manipulate the brain's large-scale dynamical activity in a targeted manner. We investigate the role of community structure in the controllability of structural brain networks. At the region level, we find that certain network measures of community structure are sometimes statistically correlated with measures of linear controllability. However, we then demonstrate that this relationship depends on the distribution of network edge weights. We highlight the complexity of the relationship between community structure and controllability by performing numerical simulations using canonical graph models with varying mesoscale architectures and edge weight distributions. Finally, we demonstrate that weighted subgraph centrality, a measure rooted in the graph spectrum, and which captures higher-order graph architecture, is a stronger and more consistent predictor of controllability. Our study contributes to an understanding of how the brain's diverse mesoscale structure supports transient communication dynamics.


title: A Real-Time Deep Network for Crowd Counting

abstract: Automatic analysis of highly crowded people has attracted extensive attention from computer vision research. Previous approaches for crowd counting have already achieved promising performance across various benchmarks. However, to deal with the real situation, we hope the model run as fast as possible while keeping accuracy. In this paper, we propose a compact convolutional neural network for crowd counting which learns a more efficient model with a small number of parameters. With three parallel filters executing the convolutional operation on the input image simultaneously at the front of the network, our model could achieve nearly real-time speed and save more computing resources. Experiments on two benchmarks show that our proposed method not only takes a balance between performance and efficiency which is more suitable for actual scenes but also is superior to existing light-weight models in speed.


title: Conditional Shannon, R\'eyni, and Tsallis entropies estimation and asymptotic limits: discrete case

abstract: A method of estimating the joint probability mass function of a pair of discrete random variables is described. This estimator is used to construct the conditional Shannon-R\'eyni-Tsallis entropies estimates. From there almost sure rates of convergence and asymptotic normality are established. The theorical results are validated by simulations.


title: BinaryDuo: Reducing Gradient Mismatch in Binary Activation Network by Coupling Binary Activations

abstract: Binary Neural Networks (BNNs) have been garnering interest thanks to their compute cost reduction and memory savings. However, BNNs suffer from performance degradation mainly due to the gradient mismatch caused by binarizing activations. Previous works tried to address the gradient mismatch problem by reducing the discrepancy between activation functions used at forward pass and its differentiable approximation used at backward pass, which is an indirect measure. In this work, we use the gradient of smoothed loss function to better estimate the gradient mismatch in quantized neural network. Analysis using the gradient mismatch estimator indicates that using higher precision for activation is more effective than modifying the differentiable approximation of activation function. Based on the observation, we propose a new training scheme for binary activation networks called BinaryDuo in which two binary activations are coupled into a ternary activation during training. Experimental results show that BinaryDuo outperforms state-of-the-art BNNs on various benchmarks with the same amount of parameters and computing cost.


title: Facial Attribute Capsules for Noise Face Super Resolution

abstract: Existing face super-resolution (SR) methods mainly assume the input image to be noise-free. Their performance degrades drastically when applied to real-world scenarios where the input image is always contaminated by noise. In this paper, we propose a Facial Attribute Capsules Network (FACN) to deal with the problem of high-scale super-resolution of noisy face image. Capsule is a group of neurons whose activity vector models different properties of the same entity. Inspired by the concept of capsule, we propose an integrated representation model of facial information, which named Facial Attribute Capsule (FAC). In the SR processing, we first generated a group of FACs from the input LR face, and then reconstructed the HR face from this group of FACs. Aiming to effectively improve the robustness of FAC to noise, we generate FAC in semantic, probabilistic and facial attributes manners by means of integrated learning strategy. Each FAC can be divided into two sub-capsules: Semantic Capsule (SC) and Probabilistic Capsule (PC). Them describe an explicit facial attribute in detail from two aspects of semantic representation and probability distribution. The group of FACs model an image as a combination of facial attribute information in the semantic space and probabilistic space by an attribute-disentangling way. The diverse FACs could better combine the face prior information to generate the face images with fine-grained semantic attributes. Extensive benchmark experiments show that our method achieves superior hallucination results and outperforms state-of-the-art for very low resolution (LR) noise face image super resolution.


title: A principled distance-based prior for the shape of the Weibull model

abstract: The use of flat or weakly informative priors is popular due to the objective a priori belief in the absence of strong prior information. In the case of the Weibull model the improper uniform, equal parameter gamma and joint Jeffrey's priors for the shape parameter are popular choices. The effects and behaviors of these priors have yet to be established from a modeling viewpoint, especially their ability to reduce to the simpler exponential model. In this work we propose a new principled prior for the shape parameter of the Weibull model, originating from a prior on the distance function, and advocate this new prior as a principled choice in the absence of strong prior information. This new prior can then be used in models with a Weibull modeling component, like competing risks, joint and spatial models, to mention a few. This prior is available in the R-INLA for use, and is applied in a joint longitudinal-survival model framework using the INLA method.


title: On a topological counterpart of regularization for holonomic D-modules

abstract: On a complex manifold, the embedding of the category of regular holonomic D-modules into that of holonomic D-modules has a left quasi-inverse functor $\mathcal{M}\mapsto\mathcal{M}_{\mathrm{reg}}$, called regularization. Recall that $\mathcal{M}_{\mathrm{reg}}$ is reconstructed from the de Rham complex of $\mathcal{M}$ by the regular Riemann-Hilbert correspondence. Similarly, on a topological space, the embedding of sheaves into enhanced ind-sheaves has a left quasi-inverse functor, called here sheafification. Regularization and sheafification are intertwined by the irregular Riemann-Hilbert correspondence. Here, we study some of their properties. In particular, we provide a germ formula for the sheafification of enhanced specialization and microlocalization.


title: Regression-based Negative Control of Homophily in Dyadic Peer Effect Analysis

abstract: A prominent threat to causal inference about peer effects over social networks is the presence of homophily bias, that is, social influence between friends and families is entangled with common characteristics or underlying similarities that form close connections. Analysis of social network data has suggested that certain health conditions such as obesity and psychological states including happiness and loneliness can spread over a network. However, such analyses of peer effects or contagion effects have come under criticism because homophily bias may compromise the causal statement. We develop a regression-based approach which leverages a negative control exposure for identification and estimation of contagion effects on additive or multiplicative scales, in the presence of homophily bias. We apply our methods to evaluate the peer effect of obesity in Framingham Offspring Study.


title: Intersection graphs of almost subnormal subgroups in general skew linear groups

abstract: Let $D$ be a division ring, $n$ a positive integer, and GL$_n(D)$ the general linear group of degree $n$ over $D$. In this paper, we study the induced subgraph of the intersection graph of GL$_n(D)$ generated by all non-trivial proper almost subnormal subgroups of GL$_n(D)$. We show that this subgraph is complete if it is non-null. This property will be used to study subgroup structure of a division ring. In particular, we prove that every non-central almost subnormal subgroup of the multiplicative group $D^*$ of a division ring $D$ contains a non-central subnormal subgroup of $D^*$.


title: Expanding total sieve and patterns in primes

abstract: Let $\big(\mathcal{S}_n^{\alpha,\kappa,\mathfrak{r}}(z)\big)_{n=1}^\infty$ be a sequence of the largest possible integer intervals, such that $z\in\mathcal{S}_n^{\alpha,\kappa,\mathfrak{r}}(z)\subset\overline{\mathcal{M}}_n^{\alpha,\kappa,\mathfrak{r}}=\bigcup_{i=1}^n [\mathfrak{r}_i]_{\mathfrak{p}_i}$ or $\mathcal{S}_n^{\alpha,\kappa,\mathfrak{r}}(z)=\emptyset$, where $\mathfrak{p}_i=p_{\alpha+\left\lceil i/\kappa\right\rceil-1}$ and $z\in\mathbb{Z}$. We prove that $\big(\#\mathcal{S}_n^{\alpha,\kappa,\mathfrak{r}}(z)\big)_{n=1}^\infty$ oscillates infinitely many times around $\beta_n\!=\!o\left(n^2\right)$ for any fixed $\alpha\in\mathbb{Z}^+$, $\kappa\in\mathbb{Z}\cap[1,p_\alpha)$, and $\mathfrak{r}_i\in\mathbb{Z}$. Let $T=(a_1,a_2,\ldots,a_k)$ be an admissible $k$-tuple and let $\mathcal{X}_n^{T,k,\rho,\eta}=\left\{x\in[\rho]_\eta\,:\,\{x\!+\!a_1,x\!+\!a_2,\ldots,x\!+\!a_k\}\cap\mathcal{M}_{n+\alpha-1}\neq\emptyset\right\}$ for each $n\in\mathbb{Z}^+$, where $\mathcal{M}_g=\bigcup_{i=1}^g [0]_{p_i}$. We prove that for any $T$ and for some fixed $\alpha$, $\kappa$, $\rho$, $\eta$, $z$, and $\mathfrak{r}$, there exists a linear bijection between $\overline{\mathcal{M}}_{\kappa n}^{\alpha,\kappa,\mathfrak{r}}$ and $\mathcal{X}_n^{T,k,\rho,\eta}$ for each $n\in\mathbb{Z}^+$. It implies that the length of any expanding integer interval on which all occurrences of $T$ are sieved out by $\mathcal{M}_{n+\alpha-1}$ oscillates infinitely many times around $\widetilde{\beta}_n=o\left(n^2\right)$. The concept of the sieve of Eratosthenes asserts $\mathcal{E}_n=[2,p^2_{n+\alpha})\cap\left(\mathbb{Z}\setminus\mathcal{M}_{n+\alpha-1}\right)\subset\mathbb{P}$. Therefore, having $p^2_{n+\alpha}=\omega\left(n^2\right)$, we obtain that $\mathcal{E}_n$ includes a subset matched to $T$ for infinitely many values of $n$ and, consequently, $T$ matches infinitely many positions in the sequence of primes.


title: Tensor denoising and completion based on ordinal observations

abstract: Higher-order tensors arise frequently in applications such as neuroimaging, recommendation system, social network analysis, and psychological studies. We consider the problem of low-rank tensor estimation from possibly incomplete, ordinal-valued observations. Two related problems are studied, one on tensor denoising and the other on tensor completion. We propose a multi-linear cumulative link model, develop a rank-constrained M-estimator, and obtain theoretical accuracy guarantees. Our mean squared error bound enjoys a faster convergence rate than previous results, and we show that the proposed estimator is minimax optimal under the class of low-rank models. Furthermore, the procedure developed serves as an efficient completion method which guarantees consistent recovery of an order-$K$ $(d,\ldots,d)$-dimensional low-rank tensor using only $\tilde{\mathcal{O}}(Kd)$ noisy, quantized observations. We demonstrate the outperformance of our approach over previous methods on the tasks of clustering and collaborative filtering.


title: Learning to Generate Multiple Style Transfer Outputs for an Input Sentence

abstract: Text style transfer refers to the task of rephrasing a given text in a different style. While various methods have been proposed to advance the state of the art, they often assume the transfer output follows a delta distribution, and thus their models cannot generate different style transfer results for a given input text. To address the limitation, we propose a one-to-many text style transfer framework. In contrast to prior works that learn a one-to-one mapping that converts an input sentence to one output sentence, our approach learns a one-to-many mapping that can convert an input sentence to multiple different output sentences, while preserving the input content. This is achieved by applying adversarial training with a latent decomposition scheme. Specifically, we decompose the latent representation of the input sentence to a style code that captures the language style variation and a content code that encodes the language style-independent content. We then combine the content code with the style code for generating a style transfer output. By combining the same content code with a different style code, we generate a different style transfer output. Extensive experimental results with comparisons to several text style transfer approaches on multiple public datasets using a diverse set of performance metrics validate effectiveness of the proposed approach.


title: Corrigendum to the proof of one theorem in the article "On multiplicative subgroups in division rings" [arXiv:1302.0589, J. Algebra and Its Applications Vol. 15, No. 3 (2016) 1550050 (16 pages)]

abstract: In this note, the correction to the proof of one theorem in some our previous paper [arXiv:1302.0589] will be given.


title: Motivic & Arithmetic probability of a semistable elliptic surface with a Weierstrass torsion section

abstract: We prove new sharp asymptotic for counting the semistable elliptic curves with two marked Weierstrass points at $\infty$ and $0$ and also the cases where $0$ is a 2-torsion or a 3-torsion marked Weierstrass point over $\mathbb{F}_q(t)$ by the bounded height of discriminant $\Delta(X)$. We consider the motivic probabilities over any basefield $K$ with $\text{char}(K) \neq 2,3$ of picking a nonsingular semistable elliptic surface over $\mathbb{P}^{1}$ with two marked Weierstrass sections at $\infty$ and $0$ such that marked Weierstrass section at $0$ is 2-torsion or 3-torsion. In the end, we formulate an analogous heuristics on $\mathcal{Z}_{\mathbb{Q}}(\mathcal{B})$ for the ratio of the semistable elliptic curves with a marked rational 2-torsion or 3-torsion Weierstrass point at $0$ out of all semistable elliptic curves with a marked rational Weierstrass points at $0$ over $\mathbb{Q}$ by the bounded height of discriminant $\Delta$ through the global fields analogy.


title: Combining high-performance hardware, cloud computing, and deep learning frameworks to accelerate physical simulations: probing the Hopfield network

abstract: The synthesis of high-performance computing (particularly graphics processing units), cloud computing services (like Google Colab), and high-level deep learning frameworks (such as PyTorch) has powered the burgeoning field of artificial intelligence. While these technologies are popular in the computer science discipline, the physics community is less aware of how such innovations, freely available online, can improve research and education. In this tutorial, we take the Hopfield network as an example to show how the confluence of these fields can dramatically accelerate physics-based computer simulations and remove technical barriers in implementing such programs, thereby making physics experimentation and education faster and more accessible. To do so, we introduce the cloud, the GPU, and AI frameworks that can be easily repurposed for physics simulation. We then introduce the Hopfield network and explain how to produce large-scale simulations and visualizations for free in the cloud with very little code (fully self-contained in the text). Finally, we suggest programming exercises throughout the paper, geared towards advanced undergraduate students studying physics, biophysics, or computer science.


title: New Constructions of Cross Z-Complementary Pairs

abstract: Spatial modulation (SM) is a new paradigm of multiple-input multiple-output (MIMO) systems, in which only one antenna at the transmitter is activated during each symbol period. Recently, it is observed that SM training sequences derived from corss Z-complementary pairs (CZCPs) lead to optimal channel estimation performance over frequency-selective channels. CZCPs are special form of sequence pairs which have zero aperiodic autocorrelation zones and cross-correlation zone at certain time-shifts. Recent paper by Liu \textit{et al.} discussed only perfect CZCPs. In this paper, we focus on non-perfect CZCPs. We introduce the term cross Z-complementary ratio and re-categorise the CZCPs, both perfect and non-perfect, based on that. We propose a systematic construction of CZCPs based on generalised Boolean functions (GBFs). We further extend the lengths of the CZCPs by using the insertion method. The proposed CZCPs are all of new lengths of the form $2^\alpha10^\beta26^\gamma+2~(\alpha\geq1)$, $10^\beta+2$, $26^\gamma+2$ and $10^\beta 26^\gamma+2$. Finally we propose a construction of optimal binary CZCPs having parameters $(12,5)$ and $(24,11)$ from binary Barker sequences. These CZCPs are also extended to $(12N,5N)$- CZCPs and $(24N,11N)$- CZCPs, where $N$ is the length of a binary Golay complementary pair (GCP). During the proof, we also found a new structural property of binary CZCPs and concluded all binary GCPs are CZCPs too. Finally, we give some numerical simulations to confirm that depending on the number of multi-paths, the proposed CZCPs can be used to design SM training matrix which attains the minimum mean square error.


title: Tight security bounds for decoy-state quantum key distribution

abstract: The BB84 quantum key distribution (QKD) combined with decoy-state method is currently the most practical protocol, which has been proved secure against general attacks in the finite-key regime. Thereinto, statistical fluctuation analysis methods are very important in dealing with finite-key effects, which directly affect secret key rate, secure transmission distance and even the most important security. There are two tasks of statistical fluctuation in decoy-state BB84 QKD. One is the deviation between expected value and observed value for a given expected value or observed value. The other is the deviation between phase error rate of computational basis and bit error rate of dual basis. Here, we provide the rigorous and optimal analytic formula to solve the above tasks, resulting higher secret key rate and longer secure transmission distance. Our results can be widely applied to deal with statistical fluctuation in quantum cryptography protocols.


title: On the Feasibility of Sybil Attacks in Shard-Based Permissionless Blockchains

abstract: Bitcoin's single leader consensus protocol (Nakamoto consensus) suffers from significant transaction throughput and network scalability issues due to the computational requirements of it Proof-of-Work (PoW) based leader selection strategy. To overcome this, committee-based approaches (e.g., Elastico) that partition the outstanding transaction set into shards and (randomly) select multiple committees to process these transactions in parallel have been proposed and have become very popular. However, by design these committee or shard-based blockchain solutions are easily vulnerable to the Sybil attacks, where an adversary can easily compromise/manipulate the consensus protocol if it has enough computational power to generate multiple Sybil committee members (by generating multiple valid node identifiers). Despite the straightforward nature of these attacks, they have not been systematically analyzed. In this paper, we fill this research gap by modelling and analyzing Sybil attacks in a representative and popular shard-based protocol called Elastico. We show that the PoW technique used for identifier or ID generation in the initial phase of the protocol is vulnerable to Sybil attacks, and a node with high hash-power can generate enough Sybil IDs to successfully compromise Elastico. We analytically derive conditions for two different categories of Sybil attacks and perform numerical simulations to validate our theoretical results under different network and protocol parameters.


title: Active Bayesian Assessment for Black-Box Classifiers

abstract: Recent advances in machine learning have led to increased deployment of black-box classifiers across a wide variety of applications. In many such situations there is a critical need to both reliably assess the performance of these pre-trained models and to perform this assessment in a label-efficient manner (given that labels may be scarce and costly to collect). In this paper, we introduce an active Bayesian approach for assessment of classifier performance to satisfy the desiderata of both reliability and label-efficiency. We begin by developing inference strategies to quantify uncertainty for common assessment metrics such as accuracy, misclassification cost, and calibration error. We then propose a general framework for active Bayesian assessment using inferred uncertainty to guide efficient selection of instances for labeling, enabling better performance assessment with fewer labels. We demonstrate significant gains from our proposed active Bayesian approach via a series of systematic empirical experiments assessing the performance of modern neural classifiers (e.g., ResNet and BERT) on several standard image and text classification datasets.


title: An optimal mechanism charging for priority in a queue

abstract: We derive a revenue-maximizing scheme that charges customers who are homogeneous with respect to their waiting cost parameter for a random fee in order to become premium customers. This scheme incentivizes all customers to purchase priority, each at his/her drawn price. We also design a revenue-maximizing scheme for the case where customers are heterogeneous with respect to their waiting cost parameter. Now lower cost parameter customers are encouraged to join the premium class at a low price: Given that, those with high cost parameter would be willing to pay even more for this privilege.


title: Study of Position Sensitive Silicon Detector (PSD) for SiW-ECAL at ILC

abstract: We are developing position sensitive silicon detectors (PSDs) which have an electrode at each of four corners so that incident position of a charged particle can be obtained with signal from the electrodes. It is expected that the position resolution of the electromagnetic calorimeter (ECAL) of the ILD detector will be improved by introducing PSDs to detection layers. We have been developing the PSDs for several years. In the previous production we found that the charge separation is not optimally done due to the readout impedance. To solve the issue, we produced new PSDs with higher surface resistance with an additional resistive layer on the surface. We also implemented several techniques to decrease position distortion and increase signal-to-noise ratio which are essential for the optimal position resolution. The measurements on the prototype sensors are ongoing, including radiation source measurement and laser measurement using an ASIC for silicon pad detectors.


title: ElasTool: An automated toolkit for elastic constants calculation

abstract: We here present, the ElasTool package, an automated toolkit for calculating the second-order elastic constants (SOECs) of any two- (2D) and three-dimensional (3D) crystal systems. It can utilize three kinds of strain-matrix sets, the high-efficiency strain-matrix sets (OHESS), the universal linear-independent coupling strains (ULICS) and the all-single-element strain-matrix sets (ASESS) to calculate the SOECs automatically. In an automatic manner, ElasTool can deal with both zero- and high-temperature elastic constants. The theoretical background and computational method of elastic constants, the package structure, the installation and run, the input/output files, the controlling parameters, and two representative examples of ElasTool are described detailedly. ElasTool is useful for either the exploration of materials' elastic properties or high-throughput new materials design. ElasTool is also available at our website: www.matdesign.cn.


title: Simple examples of non closable paranormal operators

abstract: In this note, we give an example of a densely defined non-closable paranormal operator. Then, we give another example of a densely defined closable paranormal operator whose closure fails to be paranormal. These two examples are simpler than those which first appeared in [1]. It is worth noticing that our first example tells us that the adjoint of a densely defined paranormal operator may have a trivial domain.


title: Discovery of a new supernova remnant G21.8-3.0

abstract: Sensitive radio continuum surveys of the Galactic plane are ideal for discovering new supernova remnants (SNRs). From the Sino-German {\lambda}6 cm polarisation survey of the Galactic plane, an extended shell-like structure has been found at l = 21.8 degree, b = -3.0 degree, which has a size of about 1 degree. New observations were made with the Effelsberg 100-m radio telescope at {\lambda}11 cm to estimate the source spectrum together with the Urumqi {\lambda}6 cm and the Effelsberg {\lambda}21 cm data. The spectral index of G21.8-3.0 was found to be {\alpha} = -0.72 {\pm} 0.16. Polarised emission was mostly detected in the eastern half of G21.8-3.0 at both {\lambda}6 cm and {\lambda}11 cm. These properties, together with the H{\alpha} filament along its northern periphery and the lack of infrared emission, indicate that the emission is non-thermal as is usual in shell-type SNRs.


title: Distributed Sketching Methods for Privacy Preserving Regression

abstract: In this work, we study distributed sketching methods for large scale regression problems. We leverage multiple randomized sketches for reducing the problem dimensions as well as preserving privacy and improving straggler resilience in asynchronous distributed systems. We derive novel approximation guarantees for classical sketching methods and analyze the accuracy of parameter averaging for distributed sketches. We consider random matrices including Gaussian, randomized Hadamard, uniform sampling and leverage score sampling in the distributed setting. Moreover, we propose a hybrid approach combining sampling and fast random projections for better computational efficiency. We illustrate the performance of distributed sketches in a serverless computing platform with large scale experiments.


title: Asymptotic property of the occupation measures in a multi-dimensional skip-free Markov modulated random walk

abstract: We consider a discrete-time $d$-dimensional process $\{\boldsymbol{X}_n\}=\{(X_{1,n},X_{2,n},...,X_{d,n})\}$ on $\mathbb{Z}^d$ with a background process $\{J_n\}$ on a countable set $S_0$, where individual processes $\{X_{i,n}\},i\in\{1,2,...,d\},$ are skip free. We assume that the joint process $\{\boldsymbol{Y}_n\}=\{(\boldsymbol{X}_n,J_n)\}$ is Markovian and that the transition probabilities of the $d$-dimensional process $\{\boldsymbol{X}_n\}$ vary according to the state of the background process $\{J_n\}$. This modulation is assumed to be space homogeneous. We refer to this process as a $d$-dimensional skip-free Markov modulate random walk. For $\boldsymbol{y}, \boldsymbol{y}'\in \mathbb{Z}_+^d\times S_0$, consider the process $\{\boldsymbol{Y}_n\}_{n\ge 0}$ starting from the state $\boldsymbol{y}$ and let $\tilde{q}_{\boldsymbol{y},\boldsymbol{y}'}$ be the expected number of visits to the state $\boldsymbol{y}'$ before the process leaves the nonnegative area $\mathbb{Z}_+^d\times S_0$ for the first time. For $\boldsymbol{y}=(\boldsymbol{x},j)\in \mathbb{Z}_+^d\times S_0$, the measure $(\tilde{q}_{\boldsymbol{y},\boldsymbol{y}'}; \boldsymbol{y}'=(\boldsymbol{x}',j')\in \mathbb{Z}_+^d\times S_0)$ is called an occupation measure. Our primary aim is to obtain the asymptotic decay rate of the occupation measure as $\boldsymbol{x}'$ go to infinity in a given direction. We also obtain the convergence domain of the matrix moment generating function of the occupation measures.


title: Distributed Averaging Methods for Randomized Second Order Optimization

abstract: We consider distributed optimization problems where forming the Hessian is computationally challenging and communication is a significant bottleneck. We develop unbiased parameter averaging methods for randomized second order optimization that employ sampling and sketching of the Hessian. Existing works do not take the bias of the estimators into consideration, which limits their application to massively parallel computation. We provide closed-form formulas for regularization parameters and step sizes that provably minimize the bias for sketched Newton directions. We also extend the framework of second order averaging methods to introduce an unbiased distributed optimization framework for heterogeneous computing systems with varying worker resources. Additionally, we demonstrate the implications of our theoretical findings via large scale experiments performed on a serverless computing platform.


title: Learning Not to Learn in the Presence of Noisy Labels

abstract: Learning in the presence of label noise is a challenging yet important task: it is crucial to design models that are robust in the presence of mislabeled datasets. In this paper, we discover that a new class of loss functions called the gambler's loss provides strong robustness to label noise across various levels of corruption. We show that training with this loss function encourages the model to "abstain" from learning on the data points with noisy labels, resulting in a simple and effective method to improve robustness and generalization. In addition, we propose two practical extensions of the method: 1) an analytical early stopping criterion to approximately stop training before the memorization of noisy labels, as well as 2) a heuristic for setting hyperparameters which do not require knowledge of the noise corruption rate. We demonstrate the effectiveness of our method by achieving strong results across three image and text classification tasks as compared to existing baselines.


title: Machine Learning Exchange-Correlation Potential in Time Dependent Density Functional Theory

abstract: We propose a machine learning based approach to develop the exchange-correlation potential of time dependent density functional theory (TDDFT). The neural network projection from the time-varying electron densities to the corresponding correlation potentials in the time-dependent Kohn-Sham equation is trained using a few exact datasets for a model system of electron-hydrogen scattering. We demonstrate that this neural network potential can capture the complex structures in the time-dependent correlation potential during the scattering process and provide correct scattering probabilities, which are not obtained by the standard adiabatic functionals. We also show that it is possible to incorporate the nonadiabatic (or memory) effect in the potential with this machine learning technique, which significantly improves the accuracy of the dynamics. The method developed here offers a novel way to improve the exchange-correlation potential of TDDFT, which makes the theory a more powerful tool to study various excited state phenomena.


title: Topological quantum transport and spatial entanglement distribution via disordered bulk channel

abstract: We show how to implement quantum transport, generate entangled state and achieve spatial entanglement distribution via topological Thouless pumping in one-dimensional disordered lattices. We introduce the on-site disorders to suppress the high-order resonant tunneling (which cause wavepacket dispersion) and realize dispersionless Thouless pumping. The interplay between the on-site disorders and the band topology enables robust unidirectional transport. We also demonstrate how to prepare spatially entangled two-particle NOON state via Hong-Ou-Mandel interference assisted by the Thouless pumping. The quantum entanglement can be well preserved during the distribution between spatially separated sites. Our system paves a way to wide applications of topology in quantum information process.


title: Exploring Neural Models for Parsing Natural Language into First-Order Logic

abstract: Semantic parsing is the task of obtaining machine-interpretable representations from natural language text. We consider one such formal representation - First-Order Logic (FOL) and explore the capability of neural models in parsing English sentences to FOL. We model FOL parsing as a sequence to sequence mapping task where given a natural language sentence, it is encoded into an intermediate representation using an LSTM followed by a decoder which sequentially generates the predicates in the corresponding FOL formula. We improve the standard encoder-decoder model by introducing a variable alignment mechanism that enables it to align variables across predicates in the predicted FOL. We further show the effectiveness of predicting the category of FOL entity - Unary, Binary, Variables and Scoped Entities, at each decoder step as an auxiliary task on improving the consistency of generated FOL. We perform rigorous evaluations and extensive ablations. We also aim to release our code as well as large scale FOL dataset along with models to aid further research in logic-based parsing and inference in NLP.


title: Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP

abstract: King and Saia were the first to break the quadratic word complexity bound for Byzantine Agreement in synchronous systems against an adaptive adversary, and Algorand broke this bound with near-optimal resilience (first in the synchronous model and then with eventual-synchrony). Yet the question of asynchronous sub-quadratic Byzantine Agreement remained open. To the best of our knowledge, we are the first to answer this question in the affirmative. A key component of our solution is a shared coin algorithm based on a VRF. A second essential ingredient is VRF-based committee sampling, which we formalize and utilize in the asynchronous model for the first time. Our algorithms work against a delayed-adaptive adversary, which cannot perform after-the-fact removals but has full control of Byzantine processes and full information about communication in earlier rounds. Using committee sampling and our shared coin, we solve Byzantine Agreement with high probability, with a word complexity of $\widetilde{O}(n)$ and $O(1)$ expected time, breaking the $O(n^2)$ bit barrier for asynchronous Byzantine Agreement.


title: Neural Machine Translation with Joint Representation

abstract: Though early successes of Statistical Machine Translation (SMT) systems are attributed in part to the explicit modelling of the interaction between any two source and target units, e.g., alignment, the recent Neural Machine Translation (NMT) systems resort to the attention which partially encodes the interaction for efficiency. In this paper, we employ Joint Representation that fully accounts for each possible interaction. We sidestep the inefficiency issue by refining representations with the proposed efficient attention operation. The resulting Reformer models offer a new Sequence-to- Sequence modelling paradigm besides the Encoder-Decoder framework and outperform the Transformer baseline in either the small scale IWSLT14 German-English, English-German and IWSLT15 Vietnamese-English or the large scale NIST12 Chinese-English translation tasks by about 1 BLEU point.We also propose a systematic model scaling approach, allowing the Reformer model to beat the state-of-the-art Transformer in IWSLT14 German-English and NIST12 Chinese-English with about 50% fewer parameters. The code is publicly available at https://github.com/lyy1994/reformer.


title: Instantons in AdS$_4$ From (anti)Membranes Wrapping $S^7$ To Bose-Fermi Duality in CFT$_3$'s

abstract: We present new SO(4)-invariant and non-supersymmetric instanton solutions for the conformally coupled m^2=-2 and massive m^2=+4 (pseudo)scalars arising from a consistent truncation of 11-dimensional supergravity over AdS_4 x S^7/Z_k when the internal space is a S^1 Hopf fibration on CP^3, and we consider backreaction. In fact, the bulk configurations associate with (anti)membranes wrapped around mixed internal (and external) directions, which in turn probe the Wick-rotated or skew-whiffed background, break all supersymmetries as well as parity invariance. From near the boundary behavior of the closed solution for the coupled bulk (pseudo)scalar, we get a marginal triple-trace deformation with mixed boundary condition (valid also for the bulk massless m^2=0 (pseudo)scalar, raised when considering the external space backreaction, with Dirichlet boundary condition) and as a result, the corresponding boundary effective potential is unbounded from below and causes an instability because of the Fubini-like instanton. Presenting dual effective actions, we see that the boundary solutions and counterparts realize in singlet sectors of three-dimensional U(N) and O(N) Chern--Simons-matter field theories. In particular, we use versions of massless and mass-deformed regular and critical boson and fermion models, find instantons and confirm state-operator AdS_4/CFT_3 correspondence and also Bose-Fermi duality at the level of the solutions. In addition, we discuss on relations of our setups with Vasiliev's Higher-Spin theories, deformations of the Aharony-Bergman-Jafferis-Maldacena model and other related studies.


title: Anticipation decides on lane formation in pedestrian counterflow -- a simulation study

abstract: Human crowds base most of their behavioral decisions upon anticipated states of their walking environment. We explore a minimal version of a lattice model to study lanes formation in pedestrian counterflow. Using the concept of horizon depth, our simulation results suggest that the anticipation effect together with the presence of a small background noise play an important role in promoting collective behaviors in a counterflow setup. These ingredients facilitate the formation of seemingly stable lanes and ensure the ergodicity of the system.


title: Join theorem for real analytic singularities

abstract: Let f_1 and f_2 be real analytic germs of independent variables. In this paper, we assume that f_1, f_2 and f = f_1 + f_2 satisfy a_f -condition. Then we show that the tubular Milnor fiber of f is homotopy equivalent to the join of tubular Milnor fibers of f_1 and f_2.


title: Oscillations of the baseline of solar magnetic field and solar irradiance on a millennial timescale

abstract: Recently discovered long-term oscillations of the solar background magnetic field associated with double dynamo waves generated in inner and outer layers of the Sun indicate that the solar activity is heading in the next three decades (2019-2055) to a Modern grand minimum similar to Maunder one. On the other hand, a reconstruction of solar total irradiance suggests that since the Maunder minimum there is an increase in the cycle-averaged total solar irradiance (TSI) by a value of about $1-1.5$ $Wm^{-2}$ closely correlated with an increase of the baseline (average) terrestrial temperature. In order to understand these two opposite trends, we calculated the double dynamo summary curve of magnetic field variations backward one hundred thousand years allowing us to confirm strong oscillations of solar activity in regular (11 year) and recently reported grand (350-400 year) solar cycles caused by actions of the double solar dynamo. In addition, oscillations of the baseline (zero-line) of magnetic field with a period of $1950\pm95$ years (a super-grand cycle) are discovered by applying a running averaging filter to suppress large-scale oscillations of 11 year cycles. Latest minimum of the baseline oscillations is found to coincide with the grand solar minimum (the Maunder minimum) occurred before the current super-grand cycle start. Since then the baseline magnitude became slowly increasing towards its maximum at $~$2700 to be followed by its decrease and minimum at $~$3700. These oscillations of the baseline solar magnetic field are found associated with a long-term solar inertial motion about the barycenter of the solar system that can lead to a further natural increase of the terrestrial temperature by 2.5-3.0$^\circ$C.


title: The magnetic, electronic, and light-induced topological properties in two-dimensional hexagonal FeX2 (X = Cl, Br, I) monolayers

abstract: Topological materials are fertile ground for investigating topological phases of matter and topological phase transitions. In particular, the quest for novel topological phases in 2D materials is attracting fast growing attention. Here, using Floquet-Bloch theory, we propose to realize chiral topological phases in 2D hexagonal FeX2 (X=Cl, Br, I) monolayers under irradiation of circularly polarized light. Such 2D FeX2 monolayers are predicted to be dynamical stable, and exhibit both ferromagnetic and semiconducting properties. To capture the full topological physics of the magnetic semiconductor under periodic driving, we adopt ab initio Wannier-based tight-binding methods for the Floquet-Bloch bands, with the light-induced band gap closings and openings being obtained as the light field strength increases. The calculations of slab with open boundaries show the existence of chiral edge states. Interestingly, the topological transitions with branches of chiral edge states changing from zero to one and from one to two by tuning the light amplitude are obtained, showing that the topological floquet phase of high Chern number can be induced in the present Floquet-Bloch systems.


title: Flexible Subcarrier Allocation for Interleaved Frequency Division Multiple Access

abstract: Interleaved Frequency Division Multiple Access (IFDMA) and Orthogonal FDMA (OFDMA) belong to a class of signal modulation and multiple-access techniques in which information of multiple users are multiplexed and carried on subcarriers within a shared spectrum. Compared with OFDMA, IFDMA has lower Peak-to-Average Power Ratio (PAPR). However, IFDMA poses two rigid constraints on subcarrier allocation: 1) the subcarriers occupied by a user must be evenly-spaced among the available subcarriers. 2) the number of subcarriers used by a user must be a divisor of the total number of subcarriers. This paper investigates how to overcome these constraints to allow flexible and fine-grained subcarrier allocation in IFDMA. Specifically, we put forth 1) a bit-reversal subcarrier allocation scheme whereby the problem of allocating evenly-spaced subcarriers is transformed to a more intuitive problem of filling contiguous bins; 2) a multi-stream IFDMA scheme whereby a user can have an arbitrary number of subcarriers. For the synchronous scenario in which user requests arrive in a synchronous manner, we show that IFDMA can achieve the same level of flexibility and granularity as OFDMA in subcarrier allocation. For the asynchronous scenario in which user requests arrive and depart asynchronously, we show that the blocking probability of IFDMA is only slightly worse than that of OFDMA: specifically, the gap between the blocking probabilities of IFDMA and OFDMA is only 2:56% at a moderate offered load.


title: Pulse-qubit interaction in a superconducting circuit under frictively dissipative environment

abstract: Microwave pulses are used ubiquitously to control and measure qubits fabricated on superconducting circuits. Due to continual environmental coupling, the qubits undergo decoherence both when it is free and during its interaction with the microwave pulse. As quantum logic gates are executed through pulse-qubit interaction, we study theoretically the decoherence-induced effects during the interaction, especially the variations of the pulse, under a dissipative environment with linear spectral distribution. We find that a transmissible pulse of finite width adopts an asymmetric multi-hump shape, due to the imbalanced pumping and emitting rates of the qubit during inversion when the environment is present. The pulse shape reduces to a solitonic pulse at vanishing dissipation and a pulse train at strong dissipation. We give detailed analysis of the environmental origin from both the perspectives of envelope and phase of the propagating pulse.


title: Convex Combinatorial Auction of Pipeline Network Capacities

abstract: In this paper we propose a mechanism for the allocation of pipeline capacities, assuming that the participants bidding for capacities do have subjective evaluation of various network routes. The proposed mechanism is based on the concept of bidding for route-quantity pairs. Each participant defines a limited number of routes and places multiple bids, corresponding to various quantities, on each of these routes. The proposed mechanism assigns a convex combination of the submitted bids to each participant, thus its called convex combinatorial auction. The capacity payments in the proposed model are determined according to the Vickrey-Clarke-Groves principle. We compare the efficiency of the proposed algorithm with a simplified model of the method currently used for pipeline capacity allocation in the EU (simultaneous ascending clock auction of pipeline capacities) via simulation, according to various measures, such as resulting utility of players, utilization of network capacities, total income of the auctioneer and fairness.


title: Synchronization of endogenous business cycles

abstract: Business cycles are positively correlated (``comove'') across countries. However, standard models that attribute comovement to propagation of exogenous shocks struggle to generate a level of comovement that is as high as in the data. In this paper, we consider models that produce business cycles endogenously, through some form of non-linear dynamics -- limit cycles or chaos. These models generate stronger comovement, because they combine shock propagation with synchronization of endogenous dynamics. In particular, we study a demand-driven model in which business cycles emerge from strategic complementarities within countries, synchronizing their oscillations through international trade linkages. We develop an eigendecomposition that explores the interplay between non-linear dynamics, shock propagation and network structure, and use this theory to understand the mechanisms of synchronization. Next, we calibrate the model to data on 24 countries and show that the empirical level of comovement can only be matched by combining endogenous business cycles with exogenous shocks. Our results lend support to the hypothesis that business cycles are at least in part caused by underlying non-linear dynamics.


title: Electron pairing by Coulomb repulsion in narrow band structures

abstract: We study analytically and numerically dynamics and eigenstates of two electrons with Coulomb repulsion on a tight-binding lattice in one and two dimensions. The total energy and momentum of electrons are conserved and we show that for a certain momentum range the dynamics is exactly reduced to an evolution in an effective narrow energy band where the energy conservation forces the two electrons to propagate together through the whole system at moderate or even weak repulsion strength. We argue that such a mechanism of electron pair formation by the repulsive Coulomb interaction is rather generic and that it can be at the origin of unconventional superconductivity in twisted bilayer graphene.


title: Fair Principal Component Analysis and Filter Design

abstract: We consider Fair Principal Component Analysis (FPCA) and search for a low dimensional subspace that spans multiple target vectors in a fair manner. FPCA is defined as a non-concave maximization of the worst projected target norm within a given set. The problem arises in filter design in signal processing, and when incorporating fairness into dimensionality reduction schemes. The state of the art approach to FPCA is via semidefinite relaxation and involves a polynomial yet computationally expensive optimization. To allow scalability, we propose to address FPCA using naive sub-gradient descent. We analyze the landscape of the underlying optimization in the case of orthogonal targets. We prove that the landscape is benign and that all local minima are globally optimal. Interestingly, the SDR approach leads to sub-optimal solutions in this simple case. Finally, we discuss the equivalence between orthogonal FPCA and the design of normalized tight frames.


title: Spherical Separation Theorem

abstract: In this paper, it is shown that for any two non-empty closed (resp., open) and spherical convex subsets $\mathcal{W}_1, \mathcal{W}_2$ of $S^n$, the intersection $\mathcal{W}_1\cap \mathcal{W}_2$ is empty if and only if the subset $\{P\in S^n\; |\; P\cdot Q>0 \mbox{ for any } Q\in \mathcal{W}_1 \mbox{ and } P\cdot R<0 \mbox{ for any } R\in \mathcal{W}_2\}$ is non-empty, open (resp., closed) and spherical convex.


title: Lieb-Liniger Bosons in a Shallow Quasiperiodic Potential: Bose Glass Phase and Fractal Mott Lobes

abstract: The emergence of a compressible insulator phase, known as the Bose glass, is characteristic of the interplay of interactions and disorder in correlated Bose fluids. While widely studied in tight-binding models, its observation remains elusive owing to stringent temperature effects. Here we show that this issue may be overcome by using Lieb-Liniger bosons in shallow quasiperiodic potentials. A Bose glass, surrounded by superfluid and Mott phases, is found above a critical potential and for finite interactions. At finite temperature, we show that the melting of the Mott lobes is characteristic of a fractal structure and find that the Bose glass is robust against thermal fluctuations up to temperatures accessible in quantum gases. Our results raise questions about the universality of the Bose glass transition in such shallow quasiperiodic potentials.


title: Piggybacking over unbounded distributive lattices

abstract: This paper fills a gap in the literature on natural duality theory. It concerns dual representations of categories of distributive-lattice-based algebras in which the lattice reducts are not assumed to have bounds. The development of theory to parallel what is known for the exhaustively-studied bounded case was initially driven by need. This arose in connection with a major investigation of Sugihara algebras and Sugihara monoids. The theorems in this paper apply in a systematic way to a range of examples:varieties of Sugihara type; other classes of algebras previously treated ad hoc; and further classes as required.


title: Generalized Embedding Machines for Recommender Systems

abstract: Factorization machine (FM) is an effective model for feature-based recommendation which utilizes inner product to capture second-order feature interactions. However, one of the major drawbacks of FM is that it couldn't capture complex high-order interaction signals. A common solution is to change the interaction function, such as stacking deep neural networks on the top of FM. In this work, we propose an alternative approach to model high-order interaction signals in the embedding level, namely Generalized Embedding Machine (GEM). The embedding used in GEM encodes not only the information from the feature itself but also the information from other correlated features. Under such situation, the embedding becomes high-order. Then we can incorporate GEM with FM and even its advanced variants to perform feature interactions. More specifically, in this paper we utilize graph convolution networks (GCN) to generate high-order embeddings. We integrate GEM with several FM-based models and conduct extensive experiments on two real-world datasets. The results demonstrate significant improvement of GEM over corresponding baselines.


title: Data-Driven Collective Variables for Enhanced Sampling

abstract: Designing an appropriate set of collective variables is crucial to the success of several enhanced sampling methods. Here we focus on how to obtain such variables from information limited to the metastable states. We characterize these states by a large set of descriptors and employ neural networks to compress this information in a lower-dimensional space, using Fisher's linear discriminant as an objective function to maximize the discriminative power of the network. We test this method on alanine dipeptide, using the non-linearly separable dataset composed by atomic distances. We then study an intermolecular aldol reaction characterized by a concerted mechanism. The resulting variables are able to promote sampling by drawing non-linear paths in the physical space connecting the fluctuations between metastable basins. Lastly, we interpret the behavior of the neural network by studying its relation to the physical variables. Through the identification of its most relevant features, we are able to gain chemical insight into the process.


title: Epidemic analysis of COVID-19 in China by dynamical modeling

abstract: The outbreak of novel coronavirus-caused pneumonia (COVID-19) in Wuhan has attracted worldwide attention. Here, we propose a generalized SEIR model to analyze this epidemic. Based on the public data of National Health Commission of China from Jan. 20th to Feb. 9th, 2020, we reliably estimate key epidemic parameters and make predictions on the inflection point and possible ending time for 5 different regions. According to optimistic estimation, the epidemics in Beijing and Shanghai will end soon within two weeks, while for most part of China, including the majority of cities in Hubei province, the success of anti-epidemic will be no later than the middle of March. The situation in Wuhan is still very severe, at least based on public data until Feb. 15th. We expect it will end up at the beginning of April. Moreover, by inverse inference, we find the outbreak of COVID-19 in Mainland, Hubei province and Wuhan all can be dated back to the end of December 2019, and the doubling time is around two days at the early stage.


title: Congestion Attacks in Payment Channel Networks

abstract: Payment channel networks provide a fast and scalable solution to relay funds, acting as a second layer to slower and less scalable blockchain protocols. In this paper, we present an accessible, low-cost attack in which the attacker paralyzes multiple payment network channels for several days. The attack is based on overloading channels with requests that are kept unresolved until their expiration time. Reaching the maximum allowed unresolved requests (HTLCs) locks the channel for new payments. The attack is in fact inherent to the way off-chain networks are constructed, since limits on the number of unresolved payments are derived from limits on the blockchain. We consider three main versions of the attack: one in which the attacker attempts to block as many high liquidity channels as possible, one in which it disconnects as many pairs of nodes as it can, and one in which it tries to isolate individual nodes from the network. We evaluate the costs of these attacks on Bitcoin's Lightning Network and compare how changes in the network have affected the cost of attack. Specifically, we consider how recent changes to default parameters in each of the main Lightning implementations contribute to the attacks. As we evaluate the attacks, we also look at statistics on parameters in the Lightning Network, which are of independent interest and compare the various implementations of Lightning nodes. Finally, we suggest mitigation techniques that make these attacks much harder to carry out.


title: Boundedness of the base varieties of certain fibrations

abstract: It is conjectured that the base varieties of the Iitaka fibrations are bounded when the Iitaka volumes are bounded above. We confirm this conjecture for Iitaka $\epsilon$-lc Fano type fibrations.


title: Asteroseismology of evolved stars to constrain the internal transport of angular momentum. III. Using the rotation rates of intermediate-mass stars to test the Fuller-formalism

abstract: Context: The internal characteristics of stars, such as their core rotation rates, are obtained via asteroseismic observations. A comparison of core rotation rates found in this way with core rotation rates as predicted by stellar evolution models demonstrate a large discrepancy. This means that there must be a process of angular momentum transport missing in the current theory of stellar evolution. A new formalism was recently proposed to fill in for this missing process, which has the Tayler instability as its starting point (hereafter referred to as `Fuller-formalism'). Aims: We investigate the effect of the Fuller-formalism on the internal rotation of stellar models with an initial mass of 2.5 Mo. Methods: Stellar evolution models, including the Fuller-formalism, of intermediate-mass stars were calculated to make a comparison between asteroseismically obtained core rotation rates in the core He burning phase and in the white dwarf phase. Results: Our main results show that models including the Fuller-formalism can match the core rotation rates obtained for the core He burning phases. However, these models are unable to match the rotation rates obtained for white dwarfs. When we exclude the Fuller-formalism at the end of the core He burning phase, the white dwarf rotation rates of the models match the observed rates. Conclusions: We conclude that in the present form, the Fuller-formalism cannot be the sole solution for the missing process of angular momentum transport in intermediate-mass stars.


title: The optimal edge for containing the spreading of SIS model

abstract: Numerous real-world systems, for instance, the communication platforms and transportation systems, can be abstracted into complex networks. Containing spreading dynamics (e.g., epidemic transmission and misinformation propagation) in networked systems is a hot topic in multiple fronts. Most of the previous strategies are based on the immunization of nodes. However, sometimes, these node--based strategies can be impractical. For instance, in the train transportation networks, it is dramatic to isolating train stations for flu prevention. On the contrary, temporarily suspending some connections between stations is more acceptable. Thus, we pay attention to the edge-based containing strategy. In this study, we develop a theoretical framework to find the optimal edge for containing the spreading of the susceptible-infected-susceptible model on complex networks. In specific, by performing a perturbation method to the discrete-Markovian-chain equations of the SIS model, we derive a formula that approximately provides the decremental outbreak size after the deactivation of a certain edge in the network. Then, we determine the optimal edge by simply choosing the one with the largest decremental outbreak size. Note that our proposed theoretical framework incorporates the information of both network structure and spreading dynamics. Finally, we test the performance of our method by extensive numerical simulations. Results demonstrate that our strategy always outperforms other strategies based only on structural properties (degree or edge betweenness centrality). The theoretical framework in this study can be extended to other spreading models and offers inspirations for further investigations on edge-based immunization strategies.


title: Photoionization-assisted, high-efficiency emission of dispersive wave in gas-filled hollow-core photonic crystal fibers

abstract: We demonstrate that the phase-matched dispersive wave (DW) emission within the resonance band of a 25-cm-long gas-filled hollow-core photonic crystal fiber (HC-PCF) can be strongly enhanced by the photoionization effect of the pump pulse. In the experiments we observe that as the pulse energy increases, the pump pulse gradually shifts to shorter wavelengths due to soliton-plasma interactions. When the central wavelength of the blueshifting soliton is close to the resonance band of the HC-PCF, high-efficiency energy transfer from the pump light to the DW in the visible region can be obtained. During this DW emission process, we also observe that the spectral center of the DW gradually shifts to longer wavelengths leading to a slightly-increased DW bandwidth, which can be well explained as the consequence of phase-matched coupling between the pump pulse and the DW. In particular, at an input pulse energy of 6 uJ, the spectral ratio of the DW at the fiber output is measured to be as high as ~53% together with a conversion efficiency of ~19%. These experimental results, explained by numerical simulations, pave the way to high-brightness light sources based on high-efficiency frequency-upconversion processes in gas-filled HC-PCFs.


title: Objective barriers to the transport of dynamically active vector fields

abstract: We derive a theory for material surfaces that maximally inhibit the diffusive transport of a dynamically active vector field, such as the linear momentum, the angular momentum or the vorticity, in general fluid flows. These special material surfaces (\emph{Lagrangian active barriers}) provide physics-based, observer-independent boundaries of dynamically active coherent structures. We find that Lagrangian active barriers evolve from invariant surfaces of an associated steady and incompressible \emph{barrier equation}, whose right-hand side is the time-averaged pullback of the viscous stress terms in the evolution equation for the dynamically active vector field. Instantaneous limits of these barriers mark objective \emph{Eulerian active barriers} to the short-term diffusive transport of the dynamically active vector field. We obtain that in unsteady Beltrami flows, Lagrangian and Eulerian active barriers coincide exactly with purely advective transport barriers bounding observed coherent structures. In more general flows, active barriers can be identified by applying Lagrangian coherent structure (LCS) diagnostics, such as the finite-time Lyapunov exponent and the polar rotation angle, to the appropriate active barrier equation. In comparison to their passive counterparts, these \emph{active LCS diagnostics} require no significant fluid particle separation and hence provide substantially higher-resolved Lagrangian and Eulerian coherent structure boundaries from temporally shorter velocity data sets. We illustrate these results and their physical interpretation on two-dimensional, homogeneous, isotropic turbulence and on a three-dimensional turbulent channel flow.


title: Non-Hermitian CT-Symmetric Spectral Protection of Nonlinear Defect Modes

abstract: We investigate, using a microwave platform consisting of a non-Hermitian Su-Schrieffer-Heeger array of coupled dielectric resonators, the interplay of a lossy nonlinearity and CT-symmetry in the formation of defect modes. The measurements agree with the theory which predicts that, up to moderate pumping, the defect mode is an eigenstate of the CT-symmetric operator and retains its frequency at the center of the gap. At higher pumping values, the system undergoes a self-induced explicit \CT-symmetry violation which removes the spectral topological protection and alters the shape of the defect mode.


title: Neutron star matter equation of state including $d^*$-hexaquark degrees of freedom

abstract: We present an extension of a previous work where, assuming a simple free bosonic gas supplemented with a relativistic meand field model to describe the pure nucleonic part of the EoS, we studied the consequences that the first non-trivial hexaquark $d^*$(2380) could have on the properties of neutron stars. Compared to that exploratory work we employ a standard non-linear Walecka model including additional terms that describe the interaction of the $d^*(2380)$ di-baryon with the other particles of the system through the exchange of $\sigma$- and $\omega$-meson fields. Our results have show that the presence of the $d^*(2380)$ leads to maximum masses compatible with the recent observations of $\sim 2$M$_\odot$ millisecond pulsars if the interaction of the $d^*(2380)$ is slightly repulsive or the $d^*(2380)$ does not interacts at all. An attractive interaction makes the equation of state too soft to be able to support a $2$M$_\odot$ neutron star whereas an extremely repulsive one induces the collapse of the neutron star into a black hole as soon as the $d^*(2380)$ appears.


title: Singular Initial Value Problems for Scalar Quasi-Linear Ordinary Differential Equations

abstract: We discuss existence, non-uniqueness and regularity of one- and two-sided solutions of initial value problems for scalar quasi-linear ordinary differential equations where the initial condition corresponds to an impasse point of the equation. With a differential geometric approach, we reduce the problem to questions in dynamical systems theory. As an application, we discuss in detail second-order equations of the form $g(x)u''=f(x,u,u')$ with an initial condition imposed at a simple zero of $g$. This generalises results by Liang and also makes them more transparent via our geometric approach.


title: Localization of Energy and Momentum in an Asymptotically Reissner-Nordstr\"om Non-singular Black Hole Space-time Geometry

abstract: The space-time geometry exterior to a new four-dimensional, spherically symmetric and charged black hole solution that, through a coupling of general relativity with a non-linear electrodynamics, is everywhere non-singular, for small $r$ it behaves as a de Sitter metric, and asymptotically it behaves as the Reissner-Nordstr\"{o}m metric, is considered in order to study the energy-momentum localization. For the calculation of the energy and momentum distributions, the Einstein, Landau-Lifshitz, Weinberg and M\o ller energy-momentum complexes have been applied. The results obtained show that in all prescriptions the energy depends on the mass $M$ of the black hole, the charge $q$, two parameters $% a\in \mathbb{Z}^+$ and $\gamma\in \mathbb{R}^+$, and on the radial coordinate $r$. The calculations performed in each prescription show that all the momenta vanish. Additionally, some limiting and particular cases for $r$ and $q$ are studied, and a possible connection with strong gravitational lensing and micro lensing is attempted.


title: Wave scattering in frequency domain

abstract: This report shows formulation of wave scattering in frequency domain. The formulation provides an understanding of S-matrix solver which is named as Scattering Matrix Analyzer (SMatrAn). The S-matrix has the whole of amplitude and phase information for reflected and transmitted waves from a complicated scatterer. Accurate S-matrix leads to quantitative evaluation of scattering wave. We can understand all formulas for the SMatrAn after reading this report. The S-matrix provided by SMatrAn will give us detailed analysis on complicated scattering in optical structure.


title: Topological Mapping for Manhattan-like Repetitive Environments

abstract: We showcase a topological mapping framework for a challenging indoor warehouse setting. At the most abstract level, the warehouse is represented as a Topological Graph where the nodes of the graph represent a particular warehouse topological construct (e.g. rackspace, corridor) and the edges denote the existence of a path between two neighbouring nodes or topologies. At the intermediate level, the map is represented as a Manhattan Graph where the nodes and edges are characterized by Manhattan properties and as a Pose Graph at the lower-most level of detail. The topological constructs are learned via a Deep Convolutional Network while the relational properties between topological instances are learnt via a Siamese-style Neural Network. In the paper, we show that maintaining abstractions such as Topological Graph and Manhattan Graph help in recovering an accurate Pose Graph starting from a highly erroneous and unoptimized Pose Graph. We show how this is achieved by embedding topological and Manhattan relations as well as Manhattan Graph aided loop closure relations as constraints in the backend Pose Graph optimization framework. The recovery of near ground-truth Pose Graph on real-world indoor warehouse scenes vindicate the efficacy of the proposed framework.


title: Spinning Disk -- Remote Focusing Microscopy

abstract: Fast confocal imaging was achieved by combining remote focusing with differential spinning disk optical sectioning to rapidly acquire images of live samples at cellular resolution. Axial and lateral full width half maxima less than 5 um and 490 nm respectively are demonstrated over 130 um axial range with a 256 x 128 um field of view. A water-index calibration slide was used to achieve an alignment that minimises image volume distortion. Application to live biological samples was demonstrated by acquiring image volumes over a 24 um axial range at 1 volume/s, allowing for the detection of calcium-based neuronal activity in Platynereis dumerilii larvae.


title: Regulated State Synchronization for Discrete-Time Homogeneous Networks of Non-Introspective Agents in Presence of Unknown Non-Uniform Input Delays: A Scale-Free Protocol Design (with a general MATLAB implementation)

abstract: This paper studies regulated state synchronization of discrete-time homogeneous networks of non-introspective agents in presence of unknown non-uniform input delays. A scale free protocol is designed based on additional information exchange, which does not need any knowledge of the directed network topology and the spectrum of the associated Laplacian matrix. The proposed protocol is scalable and achieves state synchronization for any arbitrary number of agents. Meanwhile, an upper bound for the input delay tolerance is obtained, which explicitly depends on the agent dynamics.


title: Electric-field control of spin-orbit torques in perpendicularly magnetized W/CoFeB/MgO films

abstract: Controlling magnetism by electric fields offers a highly attractive perspective for designing future generations of energy-efficient information technologies. Here, we demonstrate that the magnitude of current-induced spin-orbit torques in thin perpendicularly magnetized CoFeB films can be tuned and even increased by electric field generated piezoelectric strain. Using theoretical calculations, we uncover that the subtle interplay of spin-orbit coupling, crystal symmetry, and orbital polarization is at the core of the observed strain dependence of spin-orbit torques. Our results open a path to integrating two energy efficient spin manipulation approaches, the electric field-induced strain and the current-induced magnetization switching, thereby enabling novel device concepts.


title: Isolations of geodesic planes in the frame bundle of a hyperbolic $3$-manifold

abstract: We present a quantitative isolation property of the lifts of properly immersed geodesic planes in the frame bundle of a geometrically finite hyperbolic $3$-manifold. Our estimates are polynomials in the tight areas and Bowen-Margulis-Sullivan densities of geodesic planes, with degree given by the modified critical exponents.


title: Non-additivity in classical-quantum wiretap channels

abstract: Due to Csiszar and Koerner, the private capacity of classical wiretap channels has a single-letter characterization in terms of the private information. For quantum wiretap channels, however, it is known that regularization of the private information is necessary to reach the capacity. Here, we study hybrid classical-quantum wiretap channels in order to resolve to what extent quantum effects are needed to witness non-additivity phenomena in quantum Shannon theory. For wiretap channels with quantum inputs but classical outputs, we prove that the characterization of the capacity in terms of the private information stays single-letter. Hence, entangled input states are of no asymptotic advantage in this setting. For wiretap channels with classical inputs, we show by means of explicit examples that the private information already becomes non-additive when either one of the two receivers becomes quantum (with the other receiver staying classical). This gives non-additivity examples that are not caused by entanglement and illustrates that quantum adversaries are strictly different from classical adversaries in the wiretap model.


title: Superpower Glass: Delivering Unobtrusive Real-time Social Cues in Wearable Systems

abstract: We have developed a system for automatic facial expression recognition, which runs on Google Glass and delivers real-time social cues to the wearer. We evaluate the system as a behavioral aid for children with Autism Spectrum Disorder (ASD), who can greatly benefit from real-time non-invasive emotional cues and are more sensitive to sensory input than neurotypically developing children. In addition, we present a mobile application that enables users of the wearable aid to review their videos along with auto-curated emotional information on the video playback bar. This integrates our learning aid into the context of behavioral therapy. Expanding on our previous work describing in-lab trials, this paper presents our system and application-level design decisions in depth as well as the interface learnings gathered during the use of the system by multiple children with ASD in an at-home iterative trial.


title: Blow up results for semi-linear structural damped wave model with nonlinear memory

abstract: This article is to study the nonexistence of global solutions to semi-linear structurally damped wave equation with nonlinear memory in $\R^n$ for any space dimensions $n\ge 1$ and for the initial arbitrarily small data being subject to the positivity assumption. We intend to apply the method of a modified test function to establish blow-up results and to overcome some difficulties as well caused by the well-known fractional Laplacian $(-\Delta)^{\sigma/2}$ in structural damping terms.


title: Reinforced active learning for image segmentation

abstract: Learning-based approaches for semantic segmentation have two inherent challenges. First, acquiring pixel-wise labels is expensive and time-consuming. Second, realistic segmentation datasets are highly unbalanced: some categories are much more abundant than others, biasing the performance to the most represented ones. In this paper, we are interested in focusing human labelling effort on a small subset of a larger pool of data, minimizing this effort while maximizing performance of a segmentation model on a hold-out set. We present a new active learning strategy for semantic segmentation based on deep reinforcement learning (RL). An agent learns a policy to select a subset of small informative image regions -- opposed to entire images -- to be labeled, from a pool of unlabeled data. The region selection decision is made based on predictions and uncertainties of the segmentation model being trained. Our method proposes a new modification of the deep Q-network (DQN) formulation for active learning, adapting it to the large-scale nature of semantic segmentation problems. We test the proof of concept in CamVid and provide results in the large-scale dataset Cityscapes. On Cityscapes, our deep RL region-based DQN approach requires roughly 30% less additional labeled data than our most competitive baseline to reach the same performance. Moreover, we find that our method asks for more labels of under-represented categories compared to the baselines, improving their performance and helping to mitigate class imbalance.


title: On Schizophrenic Patterns in b-ary Expansions of Some Irrational Numbers

abstract: In this paper we study the $b$-ary expansions of the square roots of the function defined by the recurrence $f_b(n)=b f_b(n-1)+n$ with initial value $f(0)=0$ taken at odd positive integers $n$, of which the special case $b=10$ is often referred to as the "schizophrenic" or "mock-rational" numbers. Defined by Darling in $2004$ and studied in more detail by Brown in $2009$, these irrational numbers have the peculiarity of containing long strings of repeating digits within their decimal expansion. The main contribution of this paper is the extension of schizophrenic numbers to all integer bases $b\geq2$ by formally defining the schizophrenic pattern present in the $b$-ary expansion of these numbers and the study of the lengths of the non-repeating and repeating digit sequences that appear within.


title: Untrue.News: A New Search Engine For Fake Stories

abstract: In this paper, we demonstrate Untrue News, a new search engine for fake stories. Untrue News is easy to use and offers useful features such as: a) a multi-language option combining fake stories from different countries and languages around the same subject or person; b) an user privacy protector, avoiding the filter bubble by employing a bias-free ranking scheme; and c) a collaborative platform that fosters the development of new tools for fighting disinformation. Untrue News relies on Elasticsearch, a new scalable analytic search engine based on the Lucene library that provides near real-time results. We demonstrate two key scenarios: the first related to a politician - looking how the categories are shown for different types of fake stories - and a second related to a refugee - showing the multilingual tool. A prototype of Untrue News is accessible via http://untrue.news


title: Bounded Ricci Curvature and Positive Scalar Curvature under Singular Ricci de Turck Flow

abstract: In this paper we consider a Ricci de Turck flow of spaces with isolated conical singularities, which preserves the conical structure along the flow. We establish that a given initial regularity of Ricci curvature is preserved along the flow. Moreover under additional assumptions, positivity of scalar curvature is preserved under such a flow, mirroring the standard property of Ricci flow on compact manifolds. The analytic difficulty is the a priori low regularity of scalar curvature at the conical tip along the flow, so that the maximum principle does not apply. We view this work as a first step toward studying positivity of the curvature operator along the singular Ricci flow.


title: Studying the parton content of the proton with deep learning models

abstract: Parton Distribution Functions (PDFs) model the parton content of the proton. Among the many collaborations which focus on PDF determination, NNPDF pioneered the use of Neural Networks to model the probability of finding partons (quarks and gluons) inside the proton with a given energy and momentum. In this proceedings we make use of state of the art techniques to modernize the NNPDF methodology and study different models and optimizers in order to improve the quality of the PDF: improving both the quality and efficiency of the fits. We also present the evolutionary_keras library, a Keras implementation of the Evolutionary Algorithms used by NNPDF.


title: Automated Labelling using an Attention model for Radiology reports of MRI scans (ALARM)

abstract: Labelling large datasets for training high-capacity neural networks is a major obstacle to the development of deep learning-based medical imaging applications. Here we present a transformer-based network for magnetic resonance imaging (MRI) radiology report classification which automates this task by assigning image labels on the basis of free-text expert radiology reports. Our model's performance is comparable to that of an expert radiologist, and better than that of an expert physician, demonstrating the feasibility of this approach. We make code available online for researchers to label their own MRI datasets for medical imaging applications.


title: Advanced BIT* (ABIT*): Sampling-Based Planning with Advanced Graph-Search Techniques

abstract: Path planning is an active area of research essential for many applications in robotics. Popular techniques include graph-based searches and sampling-based planners. These approaches are powerful but have limitations. This paper continues work to combine their strengths and mitigate their limitations using a unified planning paradigm. It does this by viewing the path planning problem as the two subproblems of search and approximation and using advanced graph-search techniques on a sampling-based approximation. This perspective leads to Advanced BIT*. ABIT* combines truncated anytime graph-based searches, such as ATD*, with anytime almost-surely asymptotically optimal sampling-based planners, such as RRT*. This allows it to quickly find initial solutions and then converge towards the optimum in an anytime manner. ABIT* outperforms existing single-query, sampling-based planners on the tested problems in $\mathbb{R}^{4}$ and $\mathbb{R}^{8}$, and was demonstrated on real-world problems with NASA/JPL-Caltech.


title: Nonlinear Spectral Resolution

abstract: A quasi-product on the normed space is defined. In addition, the notions of the eigenvectors of a linear operator can be extended for the nonlinear operator. Based on the quasi-product and the generalized eigenvectors, the spectral theorems for certain possibly nonlinear operators which include bounded linear symmetric operators as special cases can be proved. The operational calculus of the classes of possibly nonlinear operators is developed and nonlinear spectral operators are given.


title: The Role of Oxygen Defects on the Electro-Chemo-Mechanical Properties of Highly Defective Gadolinium Doped Ceria

abstract: In light of the recent discovery of giant electrostriction in defective fluorites, here we investigate the interplay between mechanical, electrochemical and electromechanical properties of oxygen defective ceria compositions as the effect of Gd-doping at low temperatures. Highly dense polycrystalline ceramics are prepared as micron-size grains with a minimized grain boundary extent. Electrochemical ionic migration reveals that doping controls the configuration of oxygen vacancies in the samples. Unexpectedly, we observe that electromechanical activity depends on oxygen vacancy configuration rather than on its nominal concentration. The primary creep at room temperature indicates a declining viscoelastic trend with increasing oxygen defects.


title: Pipeline Interventions

abstract: We introduce the \emph{pipeline intervention} problem, defined by a layered directed acyclic graph and a set of stochastic matrices governing transitions between successive layers. The graph is a stylized model for how people from different populations are presented opportunities, eventually leading to some reward. In our model, individuals are born into an initial position (i.e. some node in the first layer of the graph) according to a fixed probability distribution, and then stochastically progress through the graph according to the transition matrices, until they reach a node in the final layer of the graph; each node in the final layer has a \emph{reward} associated with it. The pipeline intervention problem asks how to best make costly changes to the transition matrices governing people's stochastic transitions through the graph, subject to a budget constraint. We consider two objectives: social welfare maximization, and a fairness-motivated maximin objective that seeks to maximize the value to the population (starting node) with the \emph{least} expected value. We consider two variants of the maximin objective that turn out to be distinct, depending on whether we demand a deterministic solution or allow randomization. For each objective, we give an efficient approximation algorithm (an additive FPTAS) for constant width networks. We also tightly characterize the "price of fairness" in our setting: the ratio between the highest achievable social welfare and the highest social welfare consistent with a maximin optimal solution. Finally we show that for polynomial width networks, even approximating the maximin objective to any constant factor is NP hard, even for networks with constant depth. This shows that the restriction on the width in our positive results is essential.


title: No Chaos in Dixon's System

abstract: The so-called Dixon system is often cited as an example of a two-dimensional (continuous) dynamical system that exhibits chaotic behaviour, if its two parameters take their value in a certain domain. We provide first a rigorous proof that there is no chaos in Dixon's system. Then we perform a complete bifurcation analysis of the system showing that the parameter space can be decomposed into sixteen different regions in each of which the system exhibits qualitatively the same behaviour. In particular, we prove that in some regions two elliptic sectors with infinitely many homoclinic orbits exist.


title: Resonantly tunable second harmonic generation from lithium niobate metasurfaces

abstract: Second harmonic generation (SHG) is a coherent nonlinear phenomenon that plays an important role in laser color conversion. Lithium niobate (LN), which features both a large band gap and outstanding second-order nonlinearities, acts as an important optical material for nonlinear frequency conversion covering a wide spectral range from ultraviolet to mid-infrared. Here we experimentally demonstrate LN metasurfaces with controllable SHG properties. Distinct enhancements for the SHG efficiency are observed at Mie-resonances. And by changing the geometric parameters thus the resonances of the metasurfaces, we manage to selectively boost the SHG efficiency at different wavelengths. Our results would pave a way for developing with high flexibility the novel compact nonlinear light sources for applications, such as biosensing and optical communications.


title: Speech-to-Singing Conversion in an Encoder-Decoder Framework

abstract: In this paper our goal is to convert a set of spoken lines into sung ones. Unlike previous signal processing based methods, we take a learning based approach to the problem. This allows us to automatically model various aspects of this transformation, thus overcoming dependence on specific inputs such as high quality singing templates or phoneme-score synchronization information. Specifically, we propose an encoder--decoder framework for our task. Given time-frequency representations of speech and a target melody contour, we learn encodings that enable us to synthesize singing that preserves the linguistic content and timbre of the speaker while adhering to the target melody. We also propose a multi-task learning based objective to improve lyric intelligibility. We present a quantitative and qualitative analysis of our framework.


title: Hodge decomposition of string topology

abstract: Let $X$ be a simply connected closed oriented manifold of rationally elliptic homotopy type. We prove that the string topology bracket on the $S^1$-equivariant homology $\overline{H}_{\ast}^{S^1}(\mathcal{L}X,\mathbb{Q}) $ of the free loop space of $X$ preserves the Hodge decomposition of $\overline{H}_{\ast}^{S^1}(\mathcal{L}X,\mathbb{Q}) $ , making it a bigraded Lie algebra. We deduce this result from a general theorem on derived Poisson structures on the universal enveloping algebras of homologically nilpotent finite-dimensional DG Lie algebras. Our theorem settles a conjecture proposed in our earlier work.


title: Analytic Marching: An Analytic Meshing Solution from Deep Implicit Surface Networks

abstract: This paper studies a problem of learning surface mesh via implicit functions in an emerging field of deep learning surface reconstruction, where implicit functions are popularly implemented as multi-layer perceptrons (MLPs) with rectified linear units (ReLU). To achieve meshing from learned implicit functions, existing methods adopt the de-facto standard algorithm of marching cubes; while promising, they suffer from loss of precision learned in the MLPs, due to the discretization nature of marching cubes. Motivated by the knowledge that a ReLU based MLP partitions its input space into a number of linear regions, we identify from these regions analytic cells and analytic faces that are associated with zero-level isosurface of the implicit function, and characterize the theoretical conditions under which the identified analytic faces are guaranteed to connect and form a closed, piecewise planar surface. Based on our theorem, we propose a naturally parallelizable algorithm of analytic marching, which marches among analytic cells to exactly recover the mesh captured by a learned MLP. Experiments on deep learning mesh reconstruction verify the advantages of our algorithm over existing ones.


title: Nonlinear MPC with Motor Failure Identification and Recovery for Safe and Aggressive Multicopter Flight

abstract: Safe and precise reference tracking is a crucial characteristic of MAVs that have to operate under the influence of external disturbances in cluttered environments. In this paper, we present a NMPC that exploits the fully physics based non-linear dynamics of the system. We furthermore show how the moment and thrust control inputs can be transformed into feasible actuator commands. In order to guarantee safe operation despite potential loss of a motor under which we show our system keeps operating safely, we developed an EKF based motor failure identification algorithm. We verify the effectiveness of the developed pipeline in flight experiments with and without motor failures.


title: Adaptively Informed Trees (AIT*): Fast Asymptotically Optimal Path Planning through Adaptive Heuristics

abstract: Informed sampling-based planning algorithms exploit problem knowledge for better search performance. This knowledge is often expressed as heuristic estimates of solution cost and used to order the search. The practical improvement of this informed search depends on the accuracy of the heuristic. Selecting an appropriate heuristic is difficult. Heuristics applicable to an entire problem domain are often simple to define and inexpensive to evaluate but may not be beneficial for a specific problem instance. Heuristics specific to a problem instance are often difficult to define or expensive to evaluate but can make the search itself trivial. This paper presents Adaptively Informed Trees (AIT*), an almost-surely asymptotically optimal sampling-based planner based on BIT*. AIT* adapts its search to each problem instance by using an asymmetric bidirectional search to simultaneously estimate and exploit a problem-specific heuristic. This allows it to quickly find initial solutions and converge towards the optimum. AIT* solves the tested problems as fast as RRT-Connect while also converging towards the optimum.


title: Two-dimensional Multi-fiber Spectrum Image Correction Based on Machine Learning Techniques

abstract: Due to limited size and imperfect of the optical components in a spectrometer, aberration has inevitably been brought into two-dimensional multi-fiber spectrum image in LAMOST, which leads to obvious spacial variation of the point spread functions (PSFs). Consequently, if spatial variant PSFs are estimated directly , the huge storage and intensive computation requirements result in deconvolutional spectral extraction method become intractable. In this paper, we proposed a novel method to solve the problem of spatial variation PSF through image aberration correction. When CCD image aberration is corrected, PSF, the convolution kernel, can be approximated by one spatial invariant PSF only. Specifically, machine learning techniques are adopted to calibrate distorted spectral image, including Total Least Squares (TLS) algorithm, intelligent sampling method, multi-layer feed-forward neural networks. The calibration experiments on the LAMOST CCD images show that the calibration effect of proposed method is effectible. At the same time, the spectrum extraction results before and after calibration are compared, results show the characteristics of the extracted one-dimensional waveform are more close to an ideal optics system, and the PSF of the corrected object spectrum image estimated by the blind deconvolution method is nearly central symmetry, which indicates that our proposed method can significantly reduce the complexity of spectrum extraction and improve extraction accuracy.