title: Fractal waveguide arrays induce maximal localization

abstract: The ability to transmit light through an array of closely packed waveguides while minimizing interwaveguide coupling has important implications for fields such as discrete imaging and telecommunications. Proposals for achieving these effects have leveraged phenomena ranging from Floquet-induced flat bands to Anderson localization. Here we demonstrate that, for strongly detuned waveguides, optimal localization is achieved not by disorder but by fractal potentials. We further show that, in both 1D and 2D, these structures possess a localization-delocalization phase transition.


title: An inverse problem formulation of the immersed boundary method

abstract: We formulate the immersed-boundary method (IBM) as an inverse problem. A control variable is introduced on the boundary of a larger domain that encompasses the target domain. The optimal control is the one that minimizes the mismatch between the state and the desired boundary value along the immersed target-domain boundary. We begin by investigating a na\"ive problem formulation that we show is ill-posed: in the case of the Laplace equation, we prove that the solution is unique but it fails to depend continuously on the data; for the linear advection equation, even solution uniqueness fails to hold. These issues are addressed by two complimentary strategies. The first strategy is to ensure that the enclosing domain tends to the true domain as the mesh is refined. The second strategy is to include a specialized parameter-free regularization that is based on penalizing the difference between the control and the state on the boundary. The proposed inverse IBM is applied to the diffusion, advection, and advection-diffusion equations using a high-order discontinuous Galerkin discretization. The numerical experiments demonstrate that the regularized scheme achieves optimal rates of convergence and that the reduced Hessian of the optimization problem has a bounded condition number as the mesh is refined.


title: Phonon Quantum Phase Transition

abstract: We show that a quantum phase transition can occur in a phonon system in the presence of dislocations. Due to the competing nature between the topological protection of the dislocation and anharmonicity, phonons can reach a quantum critical point at a frequency determined by dislocation density and the anharmonic constant, at zero temperature. In the symmetry-broken phase, a novel phonon state is developed with a dynamically-induced dipole field. We carry out a renormalization group analysis and show that the phonon critical behavior differs wildly from any electronic system. In particular, at the critical point, a single phonon mode dominates the density of states and develops an exotic logarithmic divergence in thermal conductivity. This phonon quantum criticality provides a completely new avenue to tailor phonon transport at the single-mode level without using phononic crystals.


title: Observation of $D^+ \to f_0(500) e^+\nu_e$ and Improved Measurements of $D \to\rho e^+\nu_e$

abstract: Using a data sample corresponding to an integrated luminosity of 2.93~fb$^{-1}$ recorded by the BESIII detector at a center-of-mass energy of $3.773$ GeV, we present an analysis of the decays $\bar{D}^0\to\pi^+\pi^0 e^-\bar{\nu}_e$ and $D^+\to\pi^-\pi^+ e^+\nu_e$. By performing a partial wave analysis, the $\pi^+\pi^-$ $S$-wave contribution to $D^+\to\pi^-\pi^+ e^+\nu_e$ is observed to be $(25.7\pm1.6\pm1.1)$% with a statistical significance greater than 10$\sigma$, besides the dominant $P$-wave contribution. This is the first observation of the $S$-wave contribution. We measure the branching fractions $\mathcal{B}(D^{0} \to \rho^- e^+ \nu_e) = (1.445\pm 0.058 \pm 0.039) \times10^{-3}$, $\mathcal{B}(D^{+} \to \rho^0 e^+ \nu_e) = (1.860\pm 0.070 \pm 0.061) \times10^{-3}$, and $\mathcal{B}(D^{+} \to f_0(500) e^+ \nu_e, f_0(500)\to\pi^+\pi^-) = (6.30\pm 0.43 \pm 0.32) \times10^{-4}$. An upper limit of $\mathcal{B}(D^{+} \to f_0(980) e^+ \nu_e, f_0(980)\to\pi^+\pi^-) < 2.8 \times10^{-5}$ is set at the 90% confidence level. We also obtain the hadronic form factor ratios of $D\to \rho e^+\nu_e$ at $q^{2}=0$ assuming the single-pole dominance parameterization: $r_{V}=\frac{V(0)}{A_{1}(0)}=1.695\pm0.083\pm0.051$, $r_{2}=\frac{A_{2}(0)}{A_{1}(0)}=0.845\pm0.056\pm0.039$.


title: Strong coupling of two-dimensional electron ensemble to a single-mode cavity resonator

abstract: We investigate the regime of strong coupling of an ensemble of two-dimensional electrons to a single-mode cavity resonator. In particular, we realized such a regime of light-matter interaction by coupling the cyclotron motion of a collection of electrons on the surface of liquid helium to the microwave field in a semi-confocal Fabry-Perot resonator. For the co-rotating component of the microwave field, the strong coupling is pronouncedly manifested by the normal-mode splitting in the spectrum of coupled field-particle motion. We present a complete description of this phenomenon based on classical electrodynamics, as well as show that the full quantum treatment of this problem results in mean-value equations of motion that are equivalent to our classical result. For the counter-rotating component of the microwave field, we observe a strong resonance when the microwave frequency is close to both the cyclotron and cavity frequencies. We show that this surprising effect, which is not expected to occur under the rotating-wave approximation, results from the mixing between two polarization components of the microwave field in our cavity.


title: HashTran-DNN: A Framework for Enhancing Robustness of Deep Neural Networks against Adversarial Malware Samples

abstract: Adversarial machine learning in the context of image processing and related applications has received a large amount of attention. However, adversarial machine learning, especially adversarial deep learning, in the context of malware detection has received much less attention despite its apparent importance. In this paper, we present a framework for enhancing the robustness of Deep Neural Networks (DNNs) against adversarial malware samples, dubbed Hashing Transformation Deep Neural Networks} (HashTran-DNN). The core idea is to use hash functions with a certain locality-preserving property to transform samples to enhance the robustness of DNNs in malware classification. The framework further uses a Denoising Auto-Encoder (DAE) regularizer to reconstruct the hash representations of samples, making the resulting DNN classifiers capable of attaining the locality information in the latent space. We experiment with two concrete instantiations of the HashTran-DNN framework to classify Android malware. Experimental results show that four known attacks can render standard DNNs useless in classifying Android malware, that known defenses can at most defend three of the four attacks, and that HashTran-DNN can effectively defend against all of the four attacks.


title: Deep learning of mixing by two 'atoms' of stratified turbulence

abstract: Current global ocean models rely on ad-hoc parameterizations of diapycnal mixing, in which the efficiency of mixing is globally assumed to be fixed at $20\%$, despite increasing evidence that this assumption is questionable. As an ansatz for small-scale ocean turbulence, we may focus on stratified shear flows susceptible to either Kelvin-Helmholtz (KHI) or Holmboe wave (HWI) instability. Recently, an unprecedented volume of data has been generated through direct numerical simulation (DNS) of these flows. In this paper, we describe the application of deep learning methods to the discovery of a generic parameterization of diapycnal mixing using the available DNS dataset. We furthermore demonstrate that the proposed model is far more universal compared to recently published parameterizations. We show that a neural network appropriately trained on KHI- and HWI-induced turbulence is capable of predicting mixing efficiency associated with unseen regions of the parameter space well beyond the range of the training data. Strikingly, the high-level patterns learned based on the KHI and weakly stratified HWI are `transferable' to predict HWI-induced mixing efficiency under much more strongly stratified conditions, suggesting that through the application of appropriate networks, significant universal abstractions of density stratified turbulent mixing have been recognized.


title: Range entropy: A bridge between signal complexity and self-similarity

abstract: Approximate entropy (ApEn) and sample entropy (SampEn) are widely used for temporal complexity analysis of real-world phenomena. However, their relationship with the Hurst exponent as a measure of self-similarity is not widely studied. Additionally, ApEn and SampEn are susceptible to signal amplitude changes. A common practice for addressing this issue is to correct their input signal amplitude by its standard deviation. In this study, we first show, using simulations, that ApEn and SampEn are related to the Hurst exponent in their tolerance r and embedding dimension m parameters. We then propose a modification to ApEn and SampEn called range entropy or RangeEn. We show that RangeEn is more robust to nonstationary signal changes, and it has a more linear relationship with the Hurst exponent, compared to ApEn and SampEn. RangeEn is bounded in the tolerance r-plane between 0 (maximum entropy) and 1 (minimum entropy) and it has no need for signal amplitude correction. Finally, we demonstrate the clinical usefulness of signal entropy measures for characterisation of epileptic EEG data as a real-world example.


title: Magnetic Navigation of a Rotating Colloidal Swarm Using Ultrasound Images

abstract: Microrobots are considered as promising tools for biomedical applications. However, the imaging of them becomes challenges in order to be further applied on in vivo environments. Here we report the magnetic navigation of a paramagnetic nanoparticle based swarm using ultrasound images. The swarm can be generated using simple rotating magnetic fields, resulting in a region containing particles with a high area density. Ultrasound images of the swarm shows a periodic changing of imaging contrast. The reason for such dynamic contrast has been analyzed and experimental results are presented. Moreover, this swarm exhibits enhanced ultrasound imaging in comparison to that formed by individual nanoparticles with a low area density, and the relationship between imaging contrast and area density is testified. Furthermore, the microrobotic swarm can be navigated near a solid surface at different velocities, and the imaging contrast show negligible changes. This method allows us to localize and navigate a microrobotic swarm with enhanced ultrasound imaging indicating a promising approach for imaging of microrobots.


title: Analysis of Bag-of-n-grams Representation's Properties Based on Textual Reconstruction

abstract: Despite its simplicity, bag-of-n-grams sen- tence representation has been found to excel in some NLP tasks. However, it has not re- ceived much attention in recent years and fur- ther analysis on its properties is necessary. We propose a framework to investigate the amount and type of information captured in a general- purposed bag-of-n-grams sentence represen- tation. We first use sentence reconstruction as a tool to obtain bag-of-n-grams representa- tion that contains general information of the sentence. We then run prediction tasks (sen- tence length, word content, phrase content and word order) using the obtained representation to look into the specific type of information captured in the representation. Our analysis demonstrates that bag-of-n-grams representa- tion does contain sentence structure level in- formation. However, incorporating n-grams with higher order n empirically helps little with encoding more information in general, except for phrase content information.


title: Superfluorescence, free-induction decay, and four-wave mixing: propagation of free-electron laser pulses through a dense sample of helium ions

abstract: We report an experimental and numerical study of the propagation of free-electron laser pulses (wavelength 24.3 nm) through helium gas. Ionisation and excitation populates the He$^{+}$ 4$p$ state. Strong, directional emission was observed at wavelengths of 469 nm, 164 nm, 30.4 nm, and 24.5 nm. We interpret the emissions at 469 nm and 164 nm as 4$p$-3$s$-2$p$ cascade superfluorescence, that at 30.4 nm as yoked superfluorescence on the 2$p$-1$s$ transition, and that at 25.6 nm as free-induction decay of the 3$p$ state.


title: Asymptotic expansions of complete K\"ahler-Einstein metrics with finite volume on quasi-projective manifolds

abstract: We give an elementary proof to the asymptotic expansion formula of Rochon-Zhang for the unique complete K\"ahler-Einstein metric of Cheng-Yau, Kobayashi, Tian-Yau and Bando on quasi-projective manifolds. The main tools are the solution formula for second order ODE's with constant coefficients and spectral theory for Laplacian operator on a closed manifold.


title: Estimating grouped data models with a binary dependent variable and fixed effects: What are the issues

abstract: This article deals with asimple issue: if we have grouped data with a binary dependent variable and want to include fixed effects (group specific intercepts) in the specification, is Ordinary Least Squares (OLS) in any way superior to a (conditional) logit form? In particular, what are the consequences of using OLS instead of a fixed effects logit model with respect to the latter dropping all units which show no variability in the dependent variable while the former allows for estimation using all units. First, we show that the discussion of fthe incidental parameters problem is based on an assumption about the kinds of data being studied; for what appears to be the common use of fixed effect models in political science the incidental parameters issue is illusory. Turning to linear models, we see that OLS yields a linear combination of the estimates for the units with and without variation in the dependent variable, and so the coefficient estimates must be carefully interpreted. The article then compares two methods of estimating logit models with fixed effects, and shows that the Chamberlain conditional logit is as good as or better than a logit analysis which simply includes group specific intercepts (even though the conditional logit technique was designed to deal with the incidental parameters problem!). Related to this, the article discusses the estimation of marginal effects using both OLS and logit. While it appears that a form of logit with fixed effects can be used to estimate marginal effects, this method can be improved by starting with conditional logit and then using the those parameter estimates to constrain the logit with fixed effects model. This method produces estimates of sample average marginal effects that are at least as good as OLS, and much better when group size is small or the number of groups is large. .


title: On the Partition Set Cover Problem

abstract: Several algorithms with an approximation guarantee of $O(\log n)$ are known for the Set Cover problem, where $n$ is the number of elements. We study a generalization of the Set Cover problem, called the Partition Set Cover problem. Here, the elements are partitioned into $r$ \emph{color classes}, and we are required to cover at least $k_t$ elements from each color class $\mathcal{C}_t$, using the minimum number of sets. We give a randomized LP-rounding algorithm that is an $O(\beta + \log r)$ approximation for the Partition Set Cover problem. Here $\beta$ denotes the approximation guarantee for a related Set Cover instance obtained by rounding the standard LP. As a corollary, we obtain improved approximation guarantees for various set systems for which $\beta$ is known to be sublogarithmic in $n$. We also extend the LP rounding algorithm to obtain $O(\log r)$ approximations for similar generalizations of the Facility Location type problems. Finally, we show that many of these results are essentially tight, by showing that it is NP-hard to obtain an $o(\log r)$-approximation for any of these problems.


title: de Haas-van Alphen study on three-dimensional topological semimetal pyrite PtBi2

abstract: We present the systematic de Haas-van Alphen (dHvA) quantum oscillations studies on the recently discovered topological Dirac semimetal pyrite PtBi2 single crystals. Remarkable dHvA oscillations were observed at field as low as 1.5 T. From the analyses of dHvA oscillations, we have extracted high quantum mobility, light effective mass and phase shift factor for Dirac fermions in pyrite PtBi2. From the angular dependence of dHvA oscillations, we have mapped out the topology of the Fermi surface and identified additional oscillation frequencies which were not probed by SdH oscillations.


title: Scene Text Recognition from Two-Dimensional Perspective

abstract: Inspired by speech recognition, recent state-of-the-art algorithms mostly consider scene text recognition as a sequence prediction problem. Though achieving excellent performance, these methods usually neglect an important fact that text in images are actually distributed in two-dimensional space. It is a nature quite different from that of speech, which is essentially a one-dimensional signal. In principle, directly compressing features of text into a one-dimensional form may lose useful information and introduce extra noise. In this paper, we approach scene text recognition from a two-dimensional perspective. A simple yet effective model, called Character Attention Fully Convolutional Network (CA-FCN), is devised for recognizing the text of arbitrary shapes. Scene text recognition is realized with a semantic segmentation network, where an attention mechanism for characters is adopted. Combined with a word formation module, CA-FCN can simultaneously recognize the script and predict the position of each character. Experiments demonstrate that the proposed algorithm outperforms previous methods on both regular and irregular text datasets. Moreover, it is proven to be more robust to imprecise localizations in the text detection phase, which are very common in practice.


title: In Pursuit of 2D Materials for Maximum Optical Response

abstract: Despite being only a few atoms thick, single-layer two-dimensional (2D) materials display strong electron-photon interactions that could be utilized in efficient light modulators on extreme subwavelength scales. In various applications involving light modulation and manipulation, materials with strong optical response at different wavelengths are required. Using qualitative analytical modeling and first-principles calculations, we determine the theoretical limit of the maximum optical response such as absorbance (A) and reflectance (R) in 2D materials and also conduct a computational survey to seek out those with best A and R in various frequency ranges, from mid-infrared (IR) to deep ultraviolet (UV). We find that 2D boron has broadband reflectance R >99% for >100 layers, surpassing conventional thin films of bulk metals such as silver. Moreover, we identify 2D monolayer semiconductors with maximum response, for which we obtain quantitative estimates by calculating quasiparticle energies and accounting for excitonic effects by solving the Bethe-Salpeter equation (BSE). We found several monolayer semiconductors with absorbances >30% in different optical ranges which are more than half of the maximum possible value for a 2D material. Our study predicts 2D materials which can potentially be used in ultra-thin reflectors and absorbers for optoelectronic application in various frequency ranges.


title: Time stamps of vertical phase mixing in the Galactic disk from LAMOST-Gaia stars

abstract: The perturbation mechanism of the Galactic disk has puzzled us for a long time. The imprints from perturbations provide important diagnostics on the disk formation and evolution. Here we try to constrain when the vertical perturbation took place in the disk by tracking the phase mixing history. Firstly, we clearly depict the spiral structures of radial ($v_R$) and azimuthal ($v_{\phi}$) velocities in the phase space of the vertical position and velocity ($z$-$v_z$) with 723,871 LAMOST-Gaia combined stars. Then, we investigate the variation of the spirals with stellar age ($\tau$) by dividing the sample into seven stellar age bins. Finally, we find that the spirals explicitly exist in all the bins, even in the bin of $\tau<0.5$\,Gyr, except for the bin of $\tau>6.0$\,Gyr. This constrains the vertical perturbation probably starting no later than 0.5\,Gyr ago. But we can not rule out whether the young stars ($\tau<0.5$\,Gyr) inherit the oscillations from the perturbed ISM where they born from. This study provides some important observational evidences to understand the disk perturbation mechanisms, even the formation and evolution of our Galaxy.


title: Poisson-Arago spot for gravitational waves

abstract: For the observer at infinity, a Schwarzschild black hole serves as an attractive opaque disk with a radius of 3$\sqrt{3} M$ that will produce the diffraction pattern of gravitational waves (GWs). In this study, we demonstrate that a bright spot, which is a diffraction effect analogous to the Poisson-Arago spot in optics, will appear when an ingoing (quasi-) plane GW is diffracted by a Schwarzschild black hole. Here, we propose the diffraction effect of the GWs described by the exact diffraction solution of the GWs using the Heun function. For the first time, the Fresnel half-wave zone method is proposed to calculate the angular part of the GW scattering stripes for the observer at infinity. The prospect of observing the diffraction bright spot is discussed with an eikonal approximation. For normal incidence (quasi)-plane waves with 100 Hz (0.1 Hz) frequency diffracted by the central black hole of the Milky Way, the time delay between the Earth bathed in a bright spot and the minimum of the first dark stripe is 3.86 (3860) days. We will witness the second bright fringe (40% amplitude of the central bright spot) after 6.2 (6200) days. This new diffraction pattern involving the early phase of inspirals and pulsars as continuous gravitational wave sources is a potential scientific target for future space-and ground-based gravitational wave detectors, respectively.


title: Applications of third order differential subordination and superordination involving generalized Struve function

abstract: In the present paper, we derive the third-order differential subordination and superordination results for some analytic univalent functions defined in the unit disc. These results are associated with generalized Struve functions and are obtained by considering suitable classes of admissible functions. As a consequence, the dual problems which yield the sandwich type relations are presented.


title: The Calogero-Fran\c{c}oise integrable system: algebraic geometry, Higgs fields, and the inverse problem

abstract: We review the Calogero-Fran\c{c}oise integrable system, which is a generalization of the Camassa-Holm system. We express solutions as (twisted) Higgs bundles, in the sense of Hitchin, over the projective line. We use this point of view to (a) establish a general answer to the question of linearization of isospectral flow and (b) demonstrate, in the case of two particles, the dynamical meaning of the theta divisor of the spectral curve in terms of mechanical collisions. Lastly, we outline the solution to the inverse problem for CF flows using Stieltjes' continued fractions.


title: Actionable Recourse in Linear Classification

abstract: Machine learning models are increasingly used to automate decisions that affect humans - deciding who should receive a loan, a job interview, or a social service. In such applications, a person should have the ability to change the decision of a model. When a person is denied a loan by a credit score, for example, they should be able to alter its input variables in a way that guarantees approval. Otherwise, they will be denied the loan as long as the model is deployed. More importantly, they will lack the ability to influence a decision that affects their livelihood. In this paper, we frame these issues in terms of recourse, which we define as the ability of a person to change the decision of a model by altering actionable input variables (e.g., income vs. age or marital status). We present integer programming tools to ensure recourse in linear classification problems without interfering in model development. We demonstrate how our tools can inform stakeholders through experiments on credit scoring problems. Our results show that recourse can be significantly affected by standard practices in model development, and motivate the need to evaluate recourse in practice.


title: Coefficient estimates of certain subclasses of analytic functions associated with Hohlov operator

abstract: A typical quandary in geometric functions theory is to study a functional composed of amalgamations of the coefficients of the pristine function. Conventionally, there is a parameter over which the extremal value of the functional is needed. The present paper deals with consequential functional of this type. By making use of linear operator due to Hohlov \cite{6}, a new subclass $\mathcal{R}_{a,b}^{c}$ of analytic functions defined in the open unit disk is introduced. For both real and complex parameter, the sharp bounds for the Fekete-Szeg\"{o} problems are found. An attempt has also been taken to found the sharp upper bound to the second and third Hankel determinant for functions belonging to this class. All the extremal functions are express in term of Gauss hypergeometric function and convolution. Finally, the sufficient condition for functions to be in $\mathcal{R}_{a,b}^{c}$ is derived. Relevant connections of the new results with well known ones are pointed out.


title: Adaptive finite element simulations of waveguide configurations involving parallel 2D material sheets

abstract: We discuss analytically and numerically the propagation and energy transmission of electromagnetic waves caused by the coupling of surface plasmon polaritons (SPPs) between two spatially separated layers of 2D materials, such as graphene, at subwavelength distances. We construct an adaptive finite-element method to compute the ratio of energy transmitted within these waveguide structures reliably and efficiently. At its heart, the method is built upon a goal-oriented a posteriori error estimation with the dual-weighted residual method (DWR). Further, we derive analytic solutions of the two-layer system, compare those to (known) single-layer configurations, and compare and validate our numerical findings by comparing numerical and analytical values for optimal spacing of the two-layer configuration. Additional aspects of our numerical treatment, such as local grid refinement, and the utilization of perfectly matched layers (PMLs) are examined in detail.


title: Parameterless Stochastic Natural Gradient Method for Discrete Optimization and its Application to Hyper-Parameter Optimization for Neural Network

abstract: Black box discrete optimization (BBDO) appears in wide range of engineering tasks. Evolutionary or other BBDO approaches have been applied, aiming at automating necessary tuning of system parameters, such as hyper parameter tuning of machine learning based systems when being installed for a specific task. However, automation is often jeopardized by the need of strategy parameter tuning for BBDO algorithms. An expert with the domain knowledge must undergo time-consuming strategy parameter tuning. This paper proposes a parameterless BBDO algorithm based on information geometric optimization, a recent framework for black box optimization using stochastic natural gradient. Inspired by some theoretical implications, we develop an adaptation mechanism for strategy parameters of the stochastic natural gradient method for discrete search domains. The proposed algorithm is evaluated on commonly used test problems. It is further extended to two examples of simultaneous optimization of the hyper parameters and the connection weights of deep learning models, leading to a faster optimization than the existing approaches without any effort of parameter tuning.


title: A White-Noise-On-Jerk Motion Prior for Continuous-Time Trajectory Estimation on SE(3)

abstract: Simultaneous trajectory estimation and mapping (STEAM) offers an efficient approach to continuous-time trajectory estimation, by representing the trajectory as a Gaussian process (GP). Previous formulations of the STEAM framework use a GP prior that assumes white-noise-on-acceleration, with the prior mean encouraging constant body-centric velocity. We show that such a prior cannot sufficiently represent trajectory sections with non-zero acceleration, resulting in a bias to the posterior estimates. This paper derives a novel motion prior that assumes white-noise-on-jerk, where the prior mean encourages constant body-centric acceleration. With the new prior, we formulate a variation of STEAM that estimates the pose, body-centric velocity, and body-centric acceleration. By evaluating across several datasets, we show that the new prior greatly outperforms the white-noise-on-acceleration prior in terms of solution accuracy.


title: Some monotone properties for solutions to a reaction-diffusion model

abstract: Motivated by the recent investigation of a predator-prey model in heterogeneous environments \cite{LouYuan-WangBiao}, we show that the maximum of the unique positive solution of the scalar equation \begin{equation}\label{eq:01}\begin{cases} \mu\Delta\theta+(m(x)-\theta)\theta=0 \hspace{0.5em} &\text{in}\hspace{0.5em}\Omega,\\ \frac{\partial \theta}{\partial n}=0 \hspace{0.5em} &\text{on}\hspace{0.5em}\partial\Omega \end{cases}\end{equation} is a strictly monotone decreasing function of the diffusion rate $\mu$ for several classes of function $m$, which substantially improves a result in \cite{LouYuan-WangBiao}. However, the minimum of the positive solution of \eqref{eq:01} is monotone increasing under proper assumptions on the resource function, it is not always monotone increasing in the diffusion rate \cite{HeXiaoqing-NiWeiMing2016}.


title: Random problems with R

abstract: R (Version 3.5.1 patched) has an issue with its random sampling functionality. R generates random integers between $1$ and $m$ by multiplying random floats by $m$, taking the floor, and adding $1$ to the result. Well-known quantization effects in this approach result in a non-uniform distribution on $\{ 1, \ldots, m\}$. The difference, which depends on $m$, can be substantial. Because the sample function in R relies on generating random integers, random sampling in R is biased. There is an easy fix: construct random integers directly from random bits, rather than multiplying a random float by $m$. That is the strategy taken in Python's numpy.random.randint() function, among others. Example source code in Python is available at https://github.com/statlab/cryptorandom/blob/master/cryptorandom/cryptorandom.py (see functions getrandbits() and randbelow_from_randbits()).


title: Cross-Domain Influences on Creative Processes and Products

abstract: According to the honing theory of creativity, the iterative process culminating in a creative work is made possible by the self-organizing nature of a conceptual network, or worldview, and its innate holistic tendency to minimize inconsistency. As such, the creative process is not limited to the problem domain, and influences on creativity from domains other than that of the final product are predicted to be widespread. We conducted a study in which participants with varying levels of creative experience listed their creative outputs, as well as influences (sources of inspiration) on these outputs. Of the 758 creative influences, 13% were within-domain narrow, 13% within-domain broad, 67% cross-domain, and 6% unclear. These findings support the hypothesis that to trace the inspirational sources or 'conceptual parents' of a creative output, and thus track its cultural lineage, one must look beyond the problem domain to the creators' self-organizing, inconsistency-minimizing worldview at large.


title: Concentration Inequalities for the Empirical Distribution

abstract: We study concentration inequalities for the Kullback--Leibler (KL) divergence between the empirical distribution and the true distribution. Applying a recursion technique, we improve over the method of types bound uniformly in all regimes of sample size $n$ and alphabet size $k$, and the improvement becomes more significant when $k$ is large. We discuss the applications of our results in obtaining tighter concentration inequalities for $L_1$ deviations of the empirical distribution from the true distribution, and the difference between concentration around the expectation or zero. We also obtain asymptotically tight bounds on the variance of the KL divergence between the empirical and true distribution, and demonstrate their quantitatively different behaviors between small and large sample sizes compared to the alphabet size.


title: Negative type diversities, a multi-dimensional analogue of negative type metrics

abstract: Diversities are a generalization of metric spaces in which a non-negative value is assigned to all finite subsets of a set, rather than just to pairs of points. Here we provide an analogue of the theory of negative type metrics for diversities. We introduce negative type diversities, and show that, as in the metric space case, they are a generalization of $L_1$-embeddable diversities. We provide a number of characterizations of negative type diversities, including a geometric characterisation. Much of the recent interest in negative type metrics stems from the connections between metric embeddings and approximation algorithms. We extend some of this work into the diversity setting, showing that lower bounds for embeddings of negative type metrics into $L_1$ can be extended to diversities by using recently established extremal results on hypergraphs.


title: Noncommutative Kn\"{o}rrer periodicity and noncommutative Kleinian singularities

abstract: We establish a version of Kn\"{o}rrer's Periodicity Theorem in the context of noncommutative invariant theory. Namely, let $A$ be a left noetherian AS-regular algebra, let $f$ be a normal and regular element of $A$ of positive degree, and take $B=A/(f)$. Then there exists a bijection between the set of isomorphism classes of indecomposable non-free maximal Cohen-Macaulay modules over $B$ and those over (a noncommutative analog of) its second double branched cover $(B^\#)^\#$. Our results use and extend the study of twisted matrix factorizations, which was introduced by the first three authors with Cassidy. These results are applied to the noncommutative Kleinian singularities studied by the second and fourth authors with Chan and Zhang.


title: Convergence analysis of a variable metric forward-backward splitting algorithm with applications

abstract: The forward-backward splitting algorithm is a popular operator-splitting method for solving monotone inclusion of the sum of a maximal monotone operator and a cocoercive operator. In this paper, we present a new convergence analysis of a variable metric forward-backward splitting algorithm with extended relaxation parameters in real Hilbert spaces. We prove that this algorithm is weakly convergent when certain weak conditions are imposed upon the relaxation parameters. Consequently, we recover the forward-backward splitting algorithm with variable step sizes. As an application, we obtain a variable metric forward-backward splitting algorithm for solving the minimization problem of the sum of two convex functions, where one of them is differentiable with a Lipschitz continuous gradient. Furthermore, we discuss the applications of this algorithm to the fundamental of the variational inequalities problem, constrained convex minimization problem, and split feasibility problem. Numerical experimental results on LASSO problem in statistical learning demonstrate the effectiveness of the proposed iterative algorithm.


title: Dynamic two-center resonant photoionization in slow atomic collisions

abstract: An additional channel opens for photoionization of atom $A$ by an electromagnetic field if it traverses a gas of atoms $B$ resonantly coupled to this field. We show that this channel, in which $A$ is ionized via resonant photoexcitation of $B$ with subsequent energy transfer to $A$ through two-center electron correlations and which is very efficient when $A$ and $B$ constitute a bound system, can strongly dominate the ionization of $A$ also in collisions where the average distance between $A$ and $B$ exceeds the typical size of a bound system by orders of magnitude.


title: Accurate determination of the Fermi surface of tetragonal FeS via quantum oscillation measurements and quasiparticle self-consistent \textit{GW} calculations

abstract: We perform de Haas-van Alphen measurements and quasiparticle self-consistent \textit{GW} (QS\textit{GW}) calculations on FeS. The calculated Fermi surface (FS) consists of two hole and two electron cylinders. We observe all the eight predicted FS cross sections experimentally. With momentum-independent band-energy adjustments of less than 0.1 eV, the maximum deviation between the calculated and observed cross sections is less than 0.2\% of the Brillouin zone area for $B \parallel c$. The carrier density is $\sim$0.5 carriers/Fe. The mass enhancements are nearly uniform across the FS cylinders and moderate, $\sim$2. The absence of a third hole cylinder with $d_{xy}$ character is favorable for the formation of a nodal superconducting gap.


title: Formal Barriers to Longest-Chain Proof-of-Stake Protocols

abstract: The security of most existing cryptocurrencies is based on a concept called Proof-of-Work, in which users must solve a computationally hard cryptopuzzle to authorize transactions (`one unit of computation, one vote'). This leads to enormous expenditure on hardware and electricity in order to collect the rewards associated with transaction authorization. Proof-of-Stake is an alternative concept that instead selects users to authorize transactions proportional to their wealth (`one coin, one vote'). Some aspects of the two paradigms are the same. For instance, obtaining voting power in Proof-of-Stake has a monetary cost just as in Proof-of-Work: a coin cannot be freely duplicated any more easily than a unit of computation. However some aspects are fundamentally different. In particular, exactly because Proof-of-Stake is wasteless, there is no inherent resource cost to deviating (commonly referred to as the `Nothing-at-Stake' problem). In contrast to prior work, we focus on incentive-driven deviations (any participant will deviate if doing so yields higher revenue) instead of adversarial corruption (an adversary may take over a significant fraction of the network, but the remaining players follow the protocol). The main results of this paper are several formal barriers to designing incentive-compatible proof-of-stake cryptocurrencies (that don't apply to proof-of-work).


title: Performance Analysis and Modeling of Video Transcoding Using Heterogeneous Cloud Services

abstract: High-quality video streaming, either in form of Video-On-Demand (VOD) or live streaming, usually requires converting (ie, transcoding) video streams to match the characteristics of viewers' devices (eg, in terms of spatial resolution or supported formats). Considering the computational cost of the transcoding operation and the surge in video streaming demands, Streaming Service Providers (SSPs) are becoming reliant on cloud services to guarantee Quality of Service (QoS) of streaming for their viewers. Cloud providers offer heterogeneous computational services in form of different types of Virtual Machines (VMs) with diverse prices. Effective utilization of cloud services for video transcoding requires detailed performance analysis of different video transcoding operations on the heterogeneous cloud VMs. In this research, for the first time, we provide a thorough analysis of the performance of the video stream transcoding on heterogeneous cloud VMs. Providing such analysis is crucial for efficient prediction of transcoding time on heterogeneous VMs and for the functionality of any scheduling methods tailored for video transcoding. Based upon the findings of this analysis and by considering the cost difference of heterogeneous cloud VMs, in this research, we also provide a model to quantify the degree of suitability of each cloud VM type for various transcoding tasks. The provided model can supply resource (VM) provisioning methods with accurate performance and cost trade-offs to efficiently utilize cloud services for video streaming.


title: Identity, Kinship, and the Evolution of Cooperation

abstract: Extensive cooperation among biologically unrelated individuals is uniquely human and much current research attempts to explain this fact. We draw upon social, cultural, and psychological aspects of human uniqueness to present an integrated theory of human cooperation that explains aspects of human cooperation that are problematic for other theories (e.g., defector invasion avoidance, preferential assortment to exclude free riders, and the second order free rider problem). We propose that the evolution of human cooperative behavior required (1) a capacity for self-sustained, self-referential thought manifested as an integrated worldview, including a sense of identity and point of view, and (2) the cultural formation of kinship-based social organizational systems within which social identities can be established and transmitted through enculturation. Human cooperative behavior arose, we argue, through the acquisition of a culturally grounded social identity that included the expectation of cooperation among kin. This identity is linked to basic survival instincts by emotions that are mentally experienced as culture laden feelings. As a consequence, individuals are motivated to cooperate with those perceived culturally as kin, while deviations from expected social behavior are experienced as threatening to one's social identity, leading to punishment of those seen as violating cultural expectations regarding socially proper behavior.


title: Circularly polarized topological edge states derived from optical Weyl points in semiconductor-based chiral woodpile photonic crystals

abstract: The polarizations of topological edge modes in the vicinity of optical Weyl points were numerically studied in chiral photonic crystals. We investigated two kinds of rotationally stacked woodpile structures in which planar rod arrays were vertically stacked one-by-one with an in-plane rotation angle of 60 or 45 degrees. Both structures showed pairs of optical Weyl points having topological numbers of opposite signs for photonic bands in low orders. Topological edge states derived from the Weyl points appeared below the light line, and were strongly confined at the air interfaces in a length shorter than the wavelength. Their polarizations in a direction perpendicular to the propagation direction were found to be one particular circular polarization that depended on the handedness of the structural chirality. Since these chiral photonic crystals can be fabricated using semiconductor materials such as GaAs or Si, the obtained robust planar waveguides for circularly polarized light at the interface between air and the semiconductor structure can be useful not only in photonics but also in spintronics or quantum information technology through spin-photon interfaces.


title: Nanopublications: A Growing Resource of Provenance-Centric Scientific Linked Data

abstract: Nanopublications are a Linked Data format for scholarly data publishing that has received considerable uptake in the last few years. In contrast to the common Linked Data publishing practice, nanopublications work at the granular level of atomic information snippets and provide a consistent container format to attach provenance and metadata at this atomic level. While the nanopublications format is domain-independent, the datasets that have become available in this format are mostly from Life Science domains, including data about diseases, genes, proteins, drugs, biological pathways, and biotic interactions. More than 10 million such nanopublications have been published, which now form a valuable resource for studies on the domain level of the given Life Science domains as well as on the more technical levels of provenance modeling and heterogeneous Linked Data. We provide here an overview of this combined nanopublication dataset, show the results of some overarching analyses, and describe how it can be accessed and queried.


title: Violation of Weak Cosmic Censorship in Einstein-Maxwell-dilaton theory: singularities connected by traversable wormholes

abstract: We give two new analytical solutions to the low-energy string theory action that violate the weak cosmic censorship conjecture. They are classical charged solutions to the Einstein-Maxwell-dilaton theory in four dimensions that come in two types. The first represents one single naked singularity whose asymptotic region is flat. Its mass respects the positive mass theorem. The absence of horizons allows us to probe quantum aspects of gravity by direct observation of these singularities. The second represents singularities that come in pairs that "seem to create their own spacetime", and the region connecting them has the geometry of a traversable wormhole. In other words, they represent a pair of singularities connected by a traversable wormhole. The dyonic solution has a limit free of singularities, which we call "extremal limit" in analogy with black holes. This has a geometry given by the AdS$_{2}\times$S$^{2}$ spacetime in global coordinates. We compute the physical charges for the naked singularities and show that the weak gravity conjecture can be respected or violated, depending on the parameters of the solutions. We also compute the light deflection angle.


title: Multi-channel EEG recordings during a sustained-attention driving task

abstract: We described driver behaviour and brain dynamics acquired from a 90-minute sustained-attention task in an immersive driving simulator. The data include 62 copies of 32 channel electroencephalography (EEG) data for 27 subjects that drove on a four lane highway and were asked to keep the car cruising in the centre of the lane. Lane departure events were randomly induced to make the car drift from the original cruising lane towards the left or right lane. A complete trial includes events with deviation onset, response onset, and response offset. The next trial, in which the subject has to drive back to the original cruising lane, occurs from 5 to 10 seconds after finishing the current trial. We hope that this dataset will lead to the development of novel neural processing assays that can be used to index brain cortical dynamics and detect driving fatigue and drowsiness. This publicly available dataset is beneficial to the neuroscientific and brain computer interface communities.


title: Modelling the Intrusive feelings of advanced driver assistance systems based on vehicle activity log data: a case study for the lane keeping assistance system

abstract: Although the automotive industry has been among the sectors that best-understands the importance of drivers' affect, the focus of design and research in the automotive field has long emphasized the visceral aspects of exterior and interior design. With the adoption of Advanced Driver Assistance Systems (ADAS), endowing 'semi-autonomy' to the vehicles, however, the scope of affective design should be expanded to include the behavioural aspects of the vehicle. In such a 'shared-control' system wherein the vehicle can intervene in the human driver's operations, a certain degree of 'intrusive feelings' are unavoidable. For example, when the Lane Keeping Assistance System (LKAS), one of the most popular examples of ADAS, operates the steering wheel in a dangerous situation, the driver may feel interrupted or surprised because of the abrupt torque generated by LKAS. This kind of unpleasant experience can lead to prolonged negative feelings such as irritation, anxiety, and distrust of the system. Therefore, there are increasing needs of investigating the driver's affective responses towards the vehicle's dynamic behaviour. In this study, four types of intrusive feelings caused by LKAS were identified to be proposed as a quantitative performance indicator in designing the affectively satisfactory behaviour of LKAS. A metric as well as a statistical data analysis method to quantitatively measure the intrusive feelings through the vehicle sensor log data.


title: Leveraging Computational Reuse for Cost- and QoS-Efficient Task Scheduling in Clouds

abstract: Cloud-based computing systems could get oversubscribed due to budget constraints of cloud users which causes violation of Quality of Experience(QoE) metrics such as tasks' deadlines. We investigate an approach to achieve robustness against uncertain task arrival and oversubscription through smart reuse of computation while similar tasks are waiting for execution. Our motivation in this study is a cloud-based video streaming engine that processes video streaming tasks in an on-demand manner. We propose a mechanism to identify various types of "mergeable" tasks and determine when it is appropriate to aggregate tasks without affecting QoS of other tasks. Experiment shows that our mechanism can improve robustness of the system and also saves the overall time of using cloud services by more than 14%.


title: Automatic Judgment Prediction via Legal Reading Comprehension

abstract: Automatic judgment prediction aims to predict the judicial results based on case materials. It has been studied for several decades mainly by lawyers and judges, considered as a novel and prospective application of artificial intelligence techniques in the legal field. Most existing methods follow the text classification framework, which fails to model the complex interactions among complementary case materials. To address this issue, we formalize the task as Legal Reading Comprehension according to the legal scenario. Following the working protocol of human judges, LRC predicts the final judgment results based on three types of information, including fact description, plaintiffs' pleas, and law articles. Moreover, we propose a novel LRC model, AutoJudge, which captures the complex semantic interactions among facts, pleas, and laws. In experiments, we construct a real-world civil case dataset for LRC. Experimental results on this dataset demonstrate that our model achieves significant improvement over state-of-the-art models. We will publish all source codes and datasets of this work on \urlgithub.com for further research.


title: A functional stable limit theorem for Gibbs-Markov maps

abstract: For a class of locally (but not necessarily uniformly) Lipschitz continuous $d$-dimensional observables over a Gibbs-Markov system, we show that convergence of (suitably normalized and centered) ergodic sums to a non-Gaussian stable vector is equivalent to the distribution belonging to the classical domain of attraction, and that it implies a weak invariance principle in the (strong) Skorohod $\mathcal{J}_{1}$-topology on $\mathcal{D}([0,\infty),\mathbb{R}^{d})$. The argument uses the classical approach via finite-dimensional marginals and $\mathcal{J}_{1}$-tightness. As applications, we record a Spitzer-type arcsine law for certain $\mathbb{Z}% $-extensions of Gibbs-Markov systems, and prove an asymptotic independence property of excursion processes of intermittent interval maps.


title: Comment on Energy-Time Uncertainty Relations in Quantum Measurements

abstract: The measurement apparatus proposed in the titled paper, "Energy-Time Uncertainty Relations in Quantum Measurements" [Found. Phys. 46, 1522-1550 (2016)] was examined. A simple proof was presented for the non-existence of the apparatus.


title: Robust Model Predictive Control with Adjustable Uncertainty Sets

abstract: In this paper, we present Robust Model Predictive Control (MPC) problems with adjustable uncertainty sets. In contrast to standard Robust MPC problems with known uncertainty sets, we treat the uncertainty sets in our problems as additional decision variables. In particular, given a metric for adjusting the uncertainty sets, we address the question of determining the optimal size and shape of those uncertainty sets, while ensuring robust constraint satisfaction. The focus of this paper is on ensuring constraint satisfaction over an infinite horizon, also known as persistent feasibility. We show that, similar as in standard Robust MPC, persistent feasibility can be guaranteed if the terminal set is an invariant set with respect to both the state of the system and the adjustable uncertainty set. We also present an algorithm for computing such invariant sets, and illustrate the effectiveness of our approach in a cooperative adaptive cruise control application.


title: Existence and exactness of exponential Riesz sequences and frames for fractal measures

abstract: We study the construction of exponential frames and Riesz sequences for a class of fractal measures on ${\mathbb R}^d$ generated by infinite convolution of discrete measures using the idea of frame towers and Riesz-sequence towers. The exactness and overcompleteness of the constructed exponential frame or Riesz sequence is completely classified in terms of the cardinality at each level of the tower. Using a version of the solution of the Kadison-Singer problem, known as the $R_{\epsilon}$-conjecture, we show that all these measures contain exponential Riesz sequences of infinite cardinality. Furthermore, when the measure is the middle-third Cantor measure, or more generally for self-similar measures with no-overlap condition, there are always exponential Riesz sequences of maximal possible Beurling dimension.


title: Charge-Qubit-Resonator-Interface-Based Nonlinear Circuit QED

abstract: We explore applications of nonlinear circuit QED with a charge qubit inductively coupled to a microwave LC resonator in the photonic engineering and ultrastrong-coupling multiphoton quantum optics. Simply sweeping the gate-voltage bias achieves arbitrary Fock-state pulsed maser, where the single qubit plays the role of artificial gain medium. Resonantly pumping the parametric qubit-resonator interface leads to the squeezing of resonator field, which is utilizable to the quantum-limited microwave amplification. Moreover, upwards and downwards multiphoton quantum jumps may be observed in the steady state of the driving-free system.


title: Evaluation of Polynomials over Finite Rings via Additive Combinatorics

abstract: We give an improved polynomial bound on the complexity of the equation solvability problem, or more generally, of finding the value sets of polynomials over finite nilpotent rings. Our proof depends on a result in additive combinatorics, which may be of independent interest.


title: Externally controlled high degree of spin polarization and spin inversion in a conducting junction: Two new approaches

abstract: We propose two new approaches for regulating spin polarization and spin inversion in a conducting junction within a tight-binding framework based on wave-guide theory. The system comprises a magnetic quantum ring with finite modulation in site potential is coupled to two non-magnetic electrodes. Due to close proximity an additional tunneling is established between the electrodes which regulates electronic transmission significantly. At the same time the phase associated with site potential, which can be tuned externally yields controlled transmission probabilities. Our results are valid for a wide range of parameter values which demonstrates the robustness of our proposition. We strongly believe that the proposed model can be realized in the laboratory.


title: The Cassini VIMS archive of Titan: from browse products to global infrared color maps

abstract: We have analyzed the complete Visual and Infrared Mapping Spectrometer (VIMS) data archive of Titan. Our objective is to build global surface cartographic products, by combining all the data gathered during the 127 targeted flybys of Titan into synthetic global maps interpolated on a grid at 32 pixels per degree (~1.4 km/pixel at the equator), in seven infrared spectral atmospheric windows. Multispectral summary images have been computed for each single VIMS cube in order to rapidly identify their scientific content and assess their quality. These summary images are made available to the community on a public website (vims.univ-nantes.fr). The global mapping work faced several challenges due to the strong absorbing and scattering effects of the atmosphere coupled to the changing observing conditions linked to the orbital tour of the Cassini mission. We determined a surface photometric function which accounts for variations in incidence, emergence and phase angles, and which is able to mitigate brightness variations linked to the viewing geometry of the flybys. The atmospheric contribution has been reduced using the subtraction of the methane absorption band wings, considered as proxies for atmospheric haze scattering. We present a new global three color composite map of band ratios (red: 1.59/1.27 {\mu}m; green: 2.03/1.27 {\mu}m; blue: 1.27/1.08 {\mu}m), which has also been empirically corrected from an airmass (the solar photon path length through the atmosphere) dependence. This map provides a detailed global color view of Titan's surface partially corrected from the atmosphere and gives a global insight of the spectral variability, with the equatorial dunes fields appearing in brownish tones, and several occurrences of bluish tones localized in areas such as Sinlap, Menvra and Selk craters. (...)


title: Model-Protected Multi-Task Learning

abstract: Multi-task learning (MTL) refers to the paradigm of learning multiple related tasks together. In contrast, in single-task learning (STL) each individual task is learned independently. MTL often leads to better trained models because they can leverage the commonalities among related tasks. However, because MTL algorithms can ``leak" information from different models across different tasks, MTL poses a potential security risk. Specifically, an adversary may participate in the MTL process through one task and thereby acquire the model information for another task. The previously proposed privacy-preserving MTL methods protect data instances rather than models, and some of them may underperform in comparison with STL methods. In this paper, we propose a privacy-preserving MTL framework to prevent information from each model leaking to other models based on a perturbation of the covariance matrix of the model matrix. We study two popular MTL approaches for instantiation, namely, learning the low-rank and group-sparse patterns of the model matrix. Our algorithms can be guaranteed not to underperform compared with STL methods. We build our methods based upon tools for differential privacy, and privacy guarantees, utility bounds are provided, and heterogeneous privacy budgets are considered. The experiments demonstrate that our algorithms outperform the baseline methods constructed by existing privacy-preserving MTL methods on the proposed model-protection problem.


title: Deep Textured 3D Reconstruction of Human Bodies

abstract: Recovering textured 3D models of non-rigid human body shapes is challenging due to self-occlusions caused by complex body poses and shapes, clothing obstructions, lack of surface texture, background clutter, sparse set of cameras with non-overlapping fields of view, etc. Further, a calibration-free environment adds additional complexity to both - reconstruction and texture recovery. In this paper, we propose a deep learning based solution for textured 3D reconstruction of human body shapes from a single view RGB image. This is achieved by first recovering the volumetric grid of the non-rigid human body given a single view RGB image followed by orthographic texture view synthesis using the respective depth projection of the reconstructed (volumetric) shape and input RGB image. We propose to co-learn the depth information readily available with affordable RGBD sensors (e.g., Kinect) while showing multiple views of the same object during the training phase. We show superior reconstruction performance in terms of quantitative and qualitative results, on both, publicly available datasets (by simulating the depth channel with virtual Kinect) as well as real RGBD data collected with our calibrated multi Kinect setup.


title: On generalized Erd\H{o}s-Ginzburg-Ziv constants of $C_n^r$

abstract: Let $G$ be an additive finite abelian group with exponent $\exp(G)=m$. For any positive integer $k$, the $k$-th generalized Erd\H{o}s-Ginzburg-Ziv constant $\mathsf s_{km}(G)$ is defined as the smallest positive integer $t$ such that every sequence $S$ in $G$ of length at least $t$ has a zero-sum subsequence of length $km$. It is easy to see that $\mathsf s_{kn}(C_n^r)\ge(k+r)n-r$ where $n,r\in\mathbb N$. Kubertin conjectured that the equality holds for any $k\ge r$. In this paper, we mainly prove the following results: (1) For every positive integer $k\ge 6$, we have $$\mathsf s_{kn}(C_n^3)=(k+3)n+O(\frac{n}{\ln n}).$$ (2) For every positive integer $k\ge 18$, we have $$\mathsf s_{kn}(C_n^4)=(k+4)n+O(\frac{n}{\ln n}).$$ (3) For $n\in \mathbb N$, assume that the largest prime power divisor of $n$ is $p^a$ for some $a\in\mathbb N$. For any fixed $r\ge 5$, if $p^t\ge r$ for some $t\in\mathbb N$, then for any $k\in\mathbb N$ we have $$\mathsf s_{kp^tn}(C_n^r)\le(kp^t+r)n+c_r\frac{n}{\ln n},$$ where $c_r$ is a constant depends on $r$. Note that the main terms in our results are consistent with the conjectural values proposed by Kubertin.


title: Logical operations using phenyl ring

abstract: Exploiting the effects of quantum interference we put forward an idea of designing three primary logic gates, OR, AND and NOT, using a benzene molecule. Under a specific molecule-lead interface geometry, anti-resonant states appear which play the crucial role for AND and NOT operations, while for OR gate no such states are required. Our analysis leads to a possibility of designing logic gates using simple molecular structure which might be significant in the area of molecular electronics.


title: Joint User Association and Resource Allocation Optimization for Ultra Reliable Low Latency HetNets

abstract: Ensuring ultra-reliable and low latency communications (URLLC) is necessary for enabling delay critical applications in 5G HetNets. We propose a joint user to BS association and resource optimization method that is attractive for URLLC in HetNets with Cellular Base Stations (CBSs) and Small Cell Base Stations (SBSs), while also reducing energy and bandwidth consumption. In our scheme, CBSs share portions of the available spectrum with SBSs, and they in exchange, provide data service to the users in their coverage area. We first show that the CBSs optimal resource allocation (ORA) problem is NP-hard and computationally intractable for large number of users. Then, to reduce its time complexity, we propose a relaxed heuristic method (RHM) which breaks down the original ORA problem into a heuristic user association (HUA) algorithm and a convex resource allocation (CRA) optimization problem. Simulation results show that the proposed heuristic method decreases the time complexity of finding the optimal solution for CBS's significantly, thereby benefiting URLLC. It also helps the CBSs to save energy by offloading users to SBSs. In our simulations, the spectrum access delay for cellular users is reduced by 93\% and the energy consumption is reduced by 33\%, while maintaining the full service rate.


title: Block Chain based Intelligent Industrial Network (DSDIN)

abstract: The manufacturing industry featured centralization in the past due to technical limitations, and factories (especially large manufacturers) gathered almost all of the resources for manufacturing, including: technologies, raw materials, equipment, workers, market information, etc. However, such centralized production is costly, inefficient and inflexible, and difficult to respond to rapidly changing, diverse and personalized user needs. This paper introduces an Intelligent Industrial Network (DSDIN), which provides a fully distributed manufacturing network where everyone can participate in manufacturing due to decentralization and no intermediate links, allowing them to quickly get the products or services they want and also to be authorized, recognized and get returns in a low-cost way due to their efforts (such as providing creative ideas, designs or equipment, raw materials or physical strength). DSDIN is a blockchain based IoT and AI technology platform, and also an IoT based intelligent service standard. Due to the intelligent network formed by DSDIN, the manufacturing center is no longer a factory, and actually there are no manufacturing centers. DSDIN provides a multi-participation peer-to-peer network for people and things (including raw materials, equipment, finished / semi-finished products, etc.). The information transmitted through the network is called Intelligent Service Algorithm (ISA). The user can send a process model, formula or control parameter to a device via an ISA, and every transaction in DSDIN is an intelligent service defined by ISA.


title: The Widespread Presence of Nanometer-size Dust Grains in the Interstellar Medium of Galaxies

abstract: Interstellar dust spans a wide range in size distribution, ranging from ultrasmall grains of a few Angstroms to micrometer-size grains. While the presence of nanometer-size dust grains in the Galactic interstellar medium was speculated six decades ago and was previously suggested based on early infrared observations, systematic and direct analysis of their properties over a wide range of environments has been lacking. Here we report the detection of nanometer-size dust grains that appear to be universally present in a wide variety of astronomical environments, from Galactic high-latitude clouds to nearby star-forming galaxies and galaxies with low levels of nuclear activity. The prevalence of such a grain population is revealed conclusively as prominent mid-infrared continuum emission at wavelength short than 10\mu m seen in the Spitzer/IRS data, characterized by temperatures of ~300-400K that are significantly higher than the equilibrium temperatures of common, submicron-size grains in typical galactic environments. We propose that the optimal carriers of this pervasive, featureless hot dust component are very small carbonaceous (e.g., graphite) grains of nanometer size that are transiently heated by single-photon absorption. This grain population accounts for ~1.4% of the total infrared emission at ~5-3000\mu m and ~0.4% of the total interstellar dust mass.


title: ALE-type FEM formulation for PDEs on time-dependent domains with vanishing discrete SCL

abstract: The aim of this paper is to introduce a finite element formulation within Arbitrary Lagrangian Eulerian framework with vanishing discrete {\it Space Conservation Law} (SCL) for differential equations on time dependent domains. The novelty of the formulation is the method for temporal integration which results in preserving the SCL property and retaining the higher order accuracy at the same time. Once the time derivative is discretized (based on integration or differentiation formula), the common approach for terms in differential equation which do not involve temporal derivative is classified to be a kind of "time averaging" between time steps. In the spirit of classical approaches, this involves evaluating these terms in several points in time between the current and the previous time step ($[t_n,t_{n+1}]$), and then averaging them in order to provide the satisfaction of discrete SCL. Here, we fully use the polynomial in time form of mapping through which evolution of domain is realized -- the so called ALE map -- in order to avoid the problematics arising due to the moving grids. We give a general recipe on temporal schemes that have to be employed once the discretization for the temporal derivative is chosen. Numerical investigations on stability, accuracy and convergence are performed and the simulated results are compared with benchmark problems set up by other authors.


title: On the abelian complexity of generalized Thue-Morse sequences

abstract: In this paper, we study the abelian complexity $\rho_n^{ab}(\mathbf{t}^{(k)})$ of generalized Thue-Morse sequences $\mathbf{t}^{(k)}$. We obtain the exact value of $\rho_n^{ab}(\mathbf{t}^{(k)})$ for every integer $n\geq k$. Consequently, $\rho_n^{ab}(\mathbf{t}^{(k)})$ is ultimately periodic with the period $k$. Moreover, we show that the abelian complexities of a class of infinite sequences are $k$-automatic.


title: Electronic and Phonon Instabilities in Bilayer Graphene under Applied External Bias

abstract: We have performed electronic-structure and lattice-dynamics calculations on the AB and AA structures of bilayer graphene. We study the effect of external electric fields and compare results obtained with different levels of theory to existing theoretical and experimental results. Application of an external field to the AB bilayer alters the electronic spectrum, with the bands changing under bias from a parabolic to a "Mexican hat" double-well structure. This results in a semi-metal-to-semiconductor phase transition, with the size of the induced electronic band-gap being tuneable through the field strength. A reduction of continuous symmetry from a hexagonal to a triangular lattice is also evidenced through in-plane electronic charge inhomogeneities between the sublattices. When spin-orbit coupling is turned on for the AB system, we find that the bulk gap decreases, gradually increasing for larger intensities of the bias. Under large bias the energy dispersion recovers the Mexican hat structure, since the energy interaction between the layers balances the coupling interaction. We find that external bias perturbs the harmonic phonon spectra and leads to anomalous behaviour of the out-of-plane flexural ZA and layer-breathing ZO' modes. For the AA system, the electronic and phonon dispersions both remain stable under bias, but the phonon spectrum exhibits zone-center imaginary modes due to layer-sliding dynamical instabilities.


title: Measurements of tropospheric ice clouds with a ground-based CMB polarization experiment, POLARBEAR

abstract: The polarization of the atmosphere has been a long-standing concern for ground-based experiments targeting cosmic microwave background (CMB) polarization. Ice crystals in upper tropospheric clouds scatter thermal radiation from the ground and produce a horizontally-polarized signal. We report the detailed analysis of the cloud signal using a ground-based CMB experiment, POLARBEAR, located at the Atacama desert in Chile and observing at 150 GHz. We observe horizontally-polarized temporal increases of low-frequency fluctuations ("polarized bursts," hereafter) of $\lesssim$0.1 K when clouds appear in a webcam monitoring the telescope and the sky. The hypothesis of no correlation between polarized bursts and clouds is rejected with $>$24$\sigma$ statistical significance using three years of data. We consider many other possibilities including instrumental and environmental effects, and find no other reasons other than clouds that can explain the data better. We also discuss the impact of the cloud polarization on future ground-based CMB polarization experiments.


title: Image Super-Resolution via Deterministic-Stochastic Synthesis and Local Statistical Rectification

abstract: Single image superresolution has been a popular research topic in the last two decades and has recently received a new wave of interest due to deep neural networks. In this paper, we approach this problem from a different perspective. With respect to a downsampled low resolution image, we model a high resolution image as a combination of two components, a deterministic component and a stochastic component. The deterministic component can be recovered from the low-frequency signals in the downsampled image. The stochastic component, on the other hand, contains the signals that have little correlation with the low resolution image. We adopt two complementary methods for generating these two components. While generative adversarial networks are used for the stochastic component, deterministic component reconstruction is formulated as a regression problem solved using deep neural networks. Since the deterministic component exhibits clearer local orientations, we design novel loss functions tailored for such properties for training the deep regression network. These two methods are first applied to the entire input image to produce two distinct high-resolution images. Afterwards, these two images are fused together using another deep neural network that also performs local statistical rectification, which tries to make the local statistics of the fused image match the same local statistics of the groundtruth image. Quantitative results and a user study indicate that the proposed method outperforms existing state-of-the-art algorithms with a clear margin.


title: Implicit LES with high-order H(div)-conforming FEM for incompressible Navier-Stokes flows

abstract: Consider the transient incompressible Navier-Stokes flow at high Reynolds numbers. A high-order H(div)-conforming FEM with pointwise divergence-free dis- crete velocities is applied to implicit large-eddy-simulation in two limit cases: i) decaying turbulence in periodic domains, ii) wall bounded channel flow.


title: User Information Augmented Semantic Frame Parsing using Coarse-to-Fine Neural Networks

abstract: Semantic frame parsing is a crucial component in spoken language understanding (SLU) to build spoken dialog systems. It has two main tasks: intent detection and slot filling. Although state-of-the-art approaches showed good results, they require large annotated training data and long training time. In this paper, we aim to alleviate these drawbacks for semantic frame parsing by utilizing the ubiquitous user information. We design a novel coarse-to-fine deep neural network model to incorporate prior knowledge of user information intermediately to better and quickly train a semantic frame parser. Due to the lack of benchmark dataset with real user information, we synthesize the simplest type of user information (location and time) on ATIS benchmark data. The results show that our approach leverages such simple user information to outperform state-of-the-art approaches by 0.25% for intent detection and 0.31% for slot filling using standard training data. When using smaller training data, the performance improvement on intent detection and slot filling reaches up to 1.35% and 1.20% respectively. We also show that our approach can achieve similar performance as state-of-the-art approaches by using less than 80% annotated training data. Moreover, the training time to achieve the similar performance is also reduced by over 60%.


title: Low-Latency Short-Packet Transmissions: Fixed Length or HARQ?

abstract: We study short-packet communications, subject to latency and reliability constraints, under the premises of limited frequency diversity and no time diversity. The question addressed is whether, and when, hybrid automatic repeat request (HARQ) outperforms fixed-blocklength schemes with no feedback (FBL-NF) in such a setting. We derive an achievability bound for HARQ, under the assumption of a limited number of transmissions. The bound relies on pilot-assisted transmission to estimate the fading channel and scaled nearest-neighbor decoding at the receiver. We compare our achievability bound for HARQ to stateof-the-art achievability bounds for FBL-NF communications and show that for a given latency, reliability, number of information bits, and number of diversity branches, HARQ may significantly outperform FBL-NF. For example, for an average latency of 1 ms, a target error probability of 10^-3, 30 information bits, and 3 diversity branches, the gain in energy per bit is about 4 dB.


title: Schrodinger-Cat-Likeness in Adiabatic Approximation for Generalized Quantum Rabi Model without and with A^2-Term

abstract: We give a mathematical procedure to obtain the adiabatic approximation for the generalized quantum Rabi Hamiltonian both without and with a quadratic interaction. We consider the Hamiltonian as the energy of a model describing the interaction system of a two-level artificial atom and a one-mode microwave photon in circuit QED. In the case without the quadratic interaction, we show in the adiabatic approximation that whether each bare eigenstate forms a Schrodinger-cat-like entangled state or not depends on whether the energy bias of the atom is zero or non-zero, and then, the effect of the tunnel splitting of the atom is ignored. On the other hand, in the case with the quadratic interaction, we show in the adiabatic approximation that all the physical eigenstates obtained by the (meson) pair theory form individual Schrodinger-cat-like entangled states for every energy bias. We conclude that this fact comes from the effect of the tunnel splitting.


title: A Simple Approximation for a Hard Routing Problem

abstract: We consider a routing problem which plays an important role in several applications, primarily in communication network planning and VLSI layout design. The original underlying graph algorithmic task is called Disjoint Paths problem. In most applications, one can encounter its capacitated generalization, which is known as the Unsplitting Flow problem. These algorithmic tasks are very hard in general, but various efficient (polynomial-time) approximate solutions are known. Nevertheless, the approximations tend to be rather complicated, often rendering them impractical in large, complex networks. Our goal is to present a solution that provides a simple, efficient algorithm for the unsplittable flow problem in large directed graphs. The simplicity is achieved by sacrificing a small part of the solution space. This also represents a novel paradigm of approximation: rather than giving up finding an exact solution, we restrict the solution space to its most important subset and exclude those that are marginal in some sense. Then we find the exact optimum efficiently within the subset. Specifically, the sacrificed parts (i.e., the marginal instances) only contain scenarios where some edges are very close to saturation. Therefore, the excluded part is not significant, since the excluded almost saturated solutions are typically undesired in practical applications, anyway.


title: An extension of the SM based on effective Peccei-Quinn Symmetry

abstract: Peccei-Quinn (PQ) mechanism based on a chiral global U(1) symmetry is considered to be a simple and elegant solution for strong CP problem. Fact that the mechanism could be experimentally examined through the axion search makes it much more interesting and recently it causes a lot of attention again. However, it is also known that the mechanism is annoyed by two serious problems, that is, a domain wall problem and goodness of global symmetry. Any global symmetry is considered not to be exact due to the quantum effect of gravity. In this paper, we consider a solution to these problems, in which quark mass hierarchy and mixing, neutrino mass generation and existence of dark matter are closely related. In our solution, PQ symmetry is assumed to be induced through symmetry breaking at an intermediate scale of a local U(1) symmetry, and a global U(1) symmetry which plays a role of Froggatt-Nielsen symmetry . In the lepton sector, a remnant of the PQ symmetry controls neutrino mass generation and dark matter existence.


title: Utilizing Network Structure to Bound the Convergence Rate in Markov Chain Monte Carlo Algorithms

abstract: We consider the problem of estimating the measure of subsets in very large networks. A prime tool for this purpose is the Markov Chain Monte Carlo (MCMC) algorithm. This algorithm, while extremely useful in many cases, still often suffers from the drawback of very slow convergence. We show that in a special, but important case, it is possible to obtain significantly better bounds on the convergence rate. This special case is when the huge state space can be aggregated into a smaller number of clusters, in which the states behave {\em approximately} the same way (but their behavior still may not be identical). A Markov chain with this structure is called {\em quasi-lumpable}. This property allows the {\em aggregation} of states (nodes) into clusters. Our main contribution is a rigorously proved bound on the rate at which the aggregated state distribution approaches its limit in quasi-lumpable Markov chains. We also demonstrate numerically that in certain cases this can indeed lead to a significantly accelerated way of estimating the measure of subsets. The result can be a useful tool in the analysis of complex networks, whenever they have a clustering that aggregates nodes with similar (but not necessarily identical) behavior.


title: Evolution of vacancy pores in bounded particles

abstract: In the present work, the behavior of vacancy pore inside of spherical particle is investigated. On the assumption of quasistationarity of diffusion fluxes, the nonlinear equation set was obtained analytically, that describes completely pore behavior inside of spherical particle. Limiting cases of small and large pores are considered. The comparison of numerical results with asymptotic behavior of considered limiting cases of small and large pores is discussed.


title: Lattices for Landau-Ginzburg orbifolds

abstract: We consider a pair consisting of an invertible polynomial and a finite abelian group of its symmetries. Berglund, H\"ubsch, and Henningson proposed a duality between such pairs giving rise to mirror symmetry. We define an orbifoldized signature for such a pair using the orbifoldized elliptic genus. In the case of three variables and based on the homological mirror symmetry picture, we introduce two integral lattices, a transcendental and an algebraic one. We show that these lattices have the same rank and that the signature of the transcendental one is the orbifoldized signature. Finally, we give some evidence that these lattices are interchanged under the duality of pairs.


title: Analytical study of nano-scale logical operations

abstract: A complete analytical prescription is given to perform three basic (OR, AND, NOT) and two universal (NAND, NOR) logic gates at nano-scale level using simple tailor made geometries. Two different geometries, ring-like and chain-like, are taken into account where in each case the bridging conductor is coupled to a local atomic site through a dangling bond whose site energy can be controlled by means of external gate electrode. The main idea is that when injecting electron energy matches with site energy of local atomic site transmission probability drops exactly to zero, whereas the junction exhibits finite transmission for other energies. Utilizing this prescription we perform logical operations, and, we strongly believe that the proposed results can be verified in laboratory. Finally, we numerically compute two-terminal transmission probability considering general models and the numerical results matches exactly well with our analytical findings.


title: Connectivity and Structure in Large Networks

abstract: Large real-life complex networks are often modeled by various random graph constructions and hundreds of further references therein. In many cases it is not at all clear how the modeling strength of differently generated random graph model classes relate to each other. We would like to systematically investigate such issues. Our approach was originally motivated to capture properties of the random network topology of wireless communication networks. We started some investigations, but here we elevate it to a more general level that makes it possible to compare the strength of different classes of random network models. Specially, we introduce various classes of random graph models that are significantly more general than the ones that are usually treated in the literature, and show relationships among them. One of our main results is that no random graph model can fall in the following three classes at the same time: (1) random graph models with bounded expected degrees; (2) random graph models that are asymptotically almost connected; (3) an abstracted version of geometric random graph models with two mild restrictions that we call locality and name invariance. In other words, in a mildly restricted, but still very general, class of generalized geometric-style models the requirements of bounded expected degrees and asymptotic almost connectivity are incompatible.


title: MBS: Macroblock Scaling for CNN Model Reduction

abstract: In this paper we propose the macroblock scaling (MBS) algorithm, which can be applied to various CNN architectures to reduce their model size. MBS adaptively reduces each CNN macroblock depending on its information redundancy measured by our proposed effective flops. Empirical studies conducted with ImageNet and CIFAR-10 attest that MBS can reduce the model size of some already compact CNN models, e.g., MobileNetV2 (25.03% further reduction) and ShuffleNet (20.74%), and even ultra-deep ones such as ResNet-101 (51.67%) and ResNet-1202 (72.71%) with negligible accuracy degradation. MBS also performs better reduction at a much lower cost than the state-of-the-art optimization-based methods do. MBS's simplicity and efficiency, its flexibility to work with any CNN model, and its scalability to work with models of any depth make it an attractive choice for CNN model size reduction.


title: Switching Isotropic and Directional Exploration with Parameter Space Noise in Deep Reinforcement Learning

abstract: This paper proposes an exploration method for deep reinforcement learning based on parameter space noise. Recent studies have experimentally shown that parameter space noise results in better exploration than the commonly used action space noise. Previous methods devised a way to update the diagonal covariance matrix of a noise distribution and did not consider the direction of the noise vector and its correlation. In addition, fast updates of the noise distribution are required to facilitate policy learning. We propose a method that deforms the noise distribution according to the accumulated returns and the noises that have led to the returns. Moreover, this method switches isotropic exploration and directional exploration in parameter space with regard to obtained rewards. We validate our exploration strategy in the OpenAI Gym continuous environments and modified environments with sparse rewards. The proposed method achieves results that are competitive with a previous method at baseline tasks. Moreover, our approach exhibits better performance in sparse reward environments by exploration with the switching strategy.


title: A compensated multi-gap RPC with 2 m-long strips for the LEPS2 experiment

abstract: We have developed multi-gap resistive plate chambers (MRPCs) with 2.5 x 200 cm2 readout strips for the time-of-flight (TOF) detector system of the LEPS2 experiment at SPring-8. These chambers consist of 2 stacks and 5 gas gaps per stack, in a mirrored configuration. A time resolution of sigma ~ 80 ps was achieved for any position within a strip (at above 99% detection efficiency); after performing the time-charge slewing correction, this value could be reduced to 60 ps. A link between the small contribution of the slewing correction to timing and the suppression of modal dispersion in the detector could be established.


title: Convergence to a L\'evy process in the Skorohod $M_1$ and $M_2$ topologies for nonuniformly hyperbolic systems, including billiards with cusps

abstract: We prove convergence to a Levy process for a class of dispersing billiards with cusps. For such examples, convergence to a stable law was proved by Jung & Zhang. For the corresponding functional limit law, convergence is not possible in the usual Skorohod J_1 topology. Our main results yield elementary geometric conditions for convergence (i) in M_1, (ii) in M_2 but not M_1. In general, we show for a large class of nonuniformly hyperbolic systems how to deduce functional limit laws once convergence to the corresponding stable law is known.


title: Runtime Monitoring Neuron Activation Patterns

abstract: For using neural networks in safety critical domains, it is important to know if a decision made by a neural network is supported by prior similarities in training. We propose runtime neuron activation pattern monitoring - after the standard training process, one creates a monitor by feeding the training data to the network again in order to store the neuron activation patterns in abstract form. In operation, a classification decision over an input is further supplemented by examining if a pattern similar (measured by Hamming distance) to the generated pattern is contained in the monitor. If the monitor does not contain any pattern similar to the generated pattern, it raises a warning that the decision is not based on the training data. Our experiments show that, by adjusting the similarity-threshold for activation patterns, the monitors can report a significant portion of misclassfications to be not supported by training with a small false-positive rate, when evaluated on a test set.


title: Preconditioned Linear Solves for Parametric Model Order Reduction

abstract: The main computational cost of algorithms for computing reduced-order models of parametric dynamical systems is in solving sequences of very large and sparse linear systems. We focus on efficiently solving these linear systems, arising while reducing second-order linear dynamical systems, by iterative methods with appropriate preconditioners. We propose that the choice of underlying iterative solver is problem dependent. We propose the use of block variant of the underlying iterative method because often all right-hand-side are available together. Since, Sparse Approximate Inverse (SPAI) preconditioner is a general preconditioner that can be naturally parallelized, we propose its use. Our most novel contribution is a technique to cheaply update the SPAI preconditioner, while solving the parametrically changing linear systems. We support our proposed theory by numerical experiments where we first show benefit of 80% in time by using a block iterative method, and a benefit of 70% in time by using SPAI updates.


title: How does bond percolation happen in coloured networks?

abstract: Percolation in complex networks is viewed as both: a process that mimics network degradation and a tool that reveals peculiarities of the underlying network structure. During the course of percolation, networks undergo non-trivial transformations that include a phase transition in the connectivity, and in some special cases, multiple phase transitions. Here we establish a generic analytic theory that describes how structure and sizes of all connected components in the network are affected by simple and colour-dependant bond percolations. This theory predicts all locations where the phase transitions take place, existence of wide critical windows that do not vanish in the thermodynamic limit, and a peculiar phenomenon of colour switching that occurs in small connected components. These results may be used to design percolation-like processes with desired properties, optimise network response to percolation, and detect subtle signals that provide an early warning of a network collapse.


title: U-Net for MAV-based Penstock Inspection: an Investigation of Focal Loss in Multi-class Segmentation for Corrosion Identification

abstract: Periodical inspection and maintenance of critical infrastructure such as dams, penstocks, and locks are of significant importance to prevent catastrophic failures. Conventional manual inspection methods require inspectors to climb along a penstock to spot corrosion, rust and crack formation which is unsafe, labor-intensive, and requires intensive training. This work presents an alternative approach using a Micro Aerial Vehicle (MAV) that autonomously flies to collect imagery which is then fed into a pretrained deep-learning model to identify corrosion. Our simplified U-Net trained with less than 40 image samples can do inference at 12 fps on a single GPU. We analyze different loss functions to solve the class imbalance problem, followed by a discussion on choosing proper metrics and weights for object classes. Results obtained with the dataset collected from Center Hill Dam, TN show that focal loss function, combined with a proper set of class weights yield better segmentation results than the base loss, Softmax cross entropy. Our method can be used in combination with planning algorithm to offer a complete, safe and cost-efficient solution to autonomous infrastructure inspection.


title: Charge-based re-programmable logic device with built-in memory: New era in molecular electronics

abstract: We put forward a new proposal of designing charge-based logic devices considering a cyclic molecule that can be programmed and re-programmed for different functional logical operations and suitably engineered for data storage as well. The key idea is based on the appearance of bias induced circular current under asymmetric molecule-to-electrode interface configuration which does not dissipate even when the bias is off. Our results are valid for a broad range of parameter values, and provide a boost in the field of storage mechanism, reconfigurable computing, charge-based logic functions and other nano-scale applications.


title: Towards a symbolic summation theory for unspecified sequences

abstract: The article addresses the problem whether indefinite double sums involving a generic sequence can be simplified in terms of indefinite single sums. Depending on the structure of the double sum, the proposed summation machinery may provide such a simplification without exceptions. If it fails, it may suggest a more advanced simplification introducing in addition a single nested sum where the summand has to satisfy a particular constraint. More precisely, an explicitly given parameterized telescoping equation must hold. Restricting to the case that the arising unspecified sequences are specialized to the class of indefinite nested sums defined over hypergeometric, multi-basic or mixed hypergeometric products, it can be shown that this constraint is not only sufficient but also necessary.


title: Regular Instantons in the Eddington-inspired-Born-Infeld Gravity: Lorentzian Wormholes from Bubble Nucleations

abstract: The O(4)-symmetric regular instanton solutions are studied within the framework of the Eddington-inspired-Born-Infeld gravity (EiBI). We find that the behavior of the solution would deviate from that in Einstein gravity when the kinetic energy of the scalar field is sufficiently large. The tunneling probability is calculated numerically in different parameter space. We find that the tunneling probability would increase with the Born-Infeld coupling constant, which is assumed to be positive in this paper. Furthermore, we discover a neck feature in the physical instanton solutions when the kinetic energy of the scalar field is sufficiently large. This feature can be interpreted as a Lorentzian time-like wormhole geometry formed during the bubble materialization.


title: Semi-classical resolvent estimates for short-range $L^\infty$ potentials

abstract: We extend previous semi-classical resolvent estimates for real-valued compactly supported $L^\infty$ potentials to non-compactly supported $L^\infty$ potentials.


title: A probabilistic framework for approximating functions in active subspaces

abstract: This paper develops a comprehensive probabilistic setup to compute approximating functions in active subspaces. Constantine et al. proposed the active subspace method in (Constantine et al., 2014) to reduce the dimension of computational problems. It can be seen as an attempt to approximate a high-dimensional function of interest $f$ by a low-dimensional one. To do this, a common approach is to integrate $f$ over the inactive, i.e. non-dominant, directions with a suitable conditional density function. In practice, this can be done with a finite Monte Carlo sum, making not only the resulting approximation random in the inactive variable for each fixed input from the active subspace, but also its expectation, i.e. the integral of the low-dimensional function weighted with a probability measure on the active variable. In this regard we develop a fully probabilistic framework extending results from (Constantine et al., 2014, 2016). The results are supported by a simple numerical example.


title: Symbolic Tensor Neural Networks for Digital Media - from Tensor Processing via BNF Graph Rules to CREAMS Applications

abstract: This tutorial material on Convolutional Neural Networks (CNN) and its applications in digital media research is based on the concept of Symbolic Tensor Neural Networks. The set of STNN expressions is specified in Backus-Naur Form (BNF) which is annotated by constraints typical for labeled acyclic directed graphs (DAG). The BNF induction begins from a collection of neural unit symbols with extra (up to five) decoration fields (including tensor depth and sharing fields). The inductive rules provide not only the general graph structure but also the specific shortcuts for residual blocks of units. A syntactic mechanism for network fragments modularization is introduced via user defined units and their instances. Moreover, the dual BNF rules are specified in order to generate the Dual Symbolic Tensor Neural Network (DSTNN). The joined interpretation of STNN and DSTNN provides the correct flow of gradient tensors, back propagated at the training stage. The proposed symbolic representation of CNNs is illustrated for six generic digital media applications (CREAMS): Compression, Recognition, Embedding, Annotation, 3D Modeling for human-computer interfacing, and data Security based on digital media objects. In order to make the CNN description and its gradient flow complete, for all presented applications, the symbolic representations of mathematically defined loss/gain functions and gradient flow equations for all used core units, are given. The tutorial is to convince the reader that STNN is not only a convenient symbolic notation for public presentations of CNN based solutions for CREAMS problems but also that it is a design blueprint with a potential for automatic generation of application source code.