title: Few Throats to Choke: On the Current Structure of the Internet

abstract: The original design of the Internet was a resilient, distributed system, that maybe able to route around (and therefore recover from) massive disruption --- up to and including nuclear war. However, network routing effects and business decisions cause traffic to often be routed through a relatively small set of Autonomous Systems (ASes). This is not merely an academic issue; it has practical implications --- some of these frequently appearing ASes are hosted in censorious nations. Other than censoring their own citizens' network access, such ASes may inadvertently filter traffic for other foreign customer ASes. In this paper, we examine the extent of routing centralization in the Internet; identify the major players who control the "Internet backbone"; and point out how many of these are, in fact, under the jurisdiction of censorious countries (specifically, Russia, China, and India). Further, we show that China and India are not only the two largest nations by number of Internet users, but that many users in free and democratic countries are affected by collateral damage caused due to censorship by such countries.


title: EmotionX-DLC: Self-Attentive BiLSTM for Detecting Sequential Emotions in Dialogue

abstract: In this paper, we propose a self-attentive bidirectional long short-term memory (SA-BiLSTM) network to predict multiple emotions for the EmotionX challenge. The BiLSTM exhibits the power of modeling the word dependencies, and extracting the most relevant features for emotion classification. Building on top of BiLSTM, the self-attentive network can model the contextual dependencies between utterances which are helpful for classifying the ambiguous emotions. We achieve 59.6 and 55.0 unweighted accuracy scores in the \textit{Friends} and the \textit{EmotionPush} test sets, respectively.


title: Defective and Clustered Choosability of Sparse Graphs

abstract: An (improper) graph colouring has "defect" $d$ if each monochromatic subgraph has maximum degree at most $d$, and has "clustering" $c$ if each monochromatic component has at most $c$ vertices. This paper studies defective and clustered list-colourings for graphs with given maximum average degree. We prove that every graph with maximum average degree less than $\frac{2d+2}{d+2} k$ is $k$-choosable with defect $d$. This improves upon a similar result by Havet and Sereni [J. Graph Theory, 2006]. For clustered choosability of graphs with maximum average degree $m$, no $(1-\epsilon)m$ bound on the number of colours was previously known. The above result with $d=1$ solves this problem. It implies that every graph with maximum average degree $m$ is $\lfloor{\frac{3}{4}m+1}\rfloor$-choosable with clustering 2. This extends a result of Kopreski and Yu [Discrete Math., 2017] to the setting of choosability. We then prove two results about clustered choosability that explore the trade-off between the number of colours and the clustering. In particular, we prove that every graph with maximum average degree $m$ is $\lfloor{\frac{7}{10}m+1}\rfloor$-choosable with clustering $9$, and is $\lfloor{\frac{2}{3}m+1}\rfloor$-choosable with clustering $O(m)$. As an example, the later result implies that every biplanar graph is 8-choosable with bounded clustering. This is the best known result for the clustered version of the earth-moon problem. The results extend to the setting where we only consider the maximum average degree of subgraphs with at least some number of vertices. Several applications are presented.


title: Reasoning about Polymorphic Manifest Contracts

abstract: Manifest contract calculi, which integrate cast-based dynamic contract checking and refinement type systems, have been studied as foundations for hybrid contract checking. In this article, we study techniques to reasoning about a polymorphic manifest contract calculus, including a few program transformations related to static contract verification. We first define a polymorphic manifest contract calculus $\mathrm{F}_{H}$, which is much simpler than a previously studied one with delayed substitution, and a logical relation for it and prove that the logical relation is sound with respect to contextual equivalence. Next, we show that the upcast elimination property, which has been studied as correctness of subtyping-based static cast verification, holds for $\mathrm{F}_{H}$. More specifically, we give a subtyping relation (which is not part of the calculus) for $\mathrm{F}_{H}$ types and prove that a term obtained by eliminating upcasts---casts from one type to a supertype of it---is logically related and so contextually equivalent to the original one. We also justify two other program transformations for casts: selfification and static cast decomposition, which help upcast elimination. A challenge is that, due to the subsumption-free approach to manifest contracts, these program transformations do not always preserve well-typedness of terms. To address it, the logical relation and contextual equivalence in this work are defined as semityped relations: only one side of the relations is required to be well typed and the other side may be ill typed.


title: Response Generation by Context-aware Prototype Editing

abstract: Open domain response generation has achieved remarkable progress in recent years, but sometimes yields short and uninformative responses. We propose a new paradigm for response generation, that is response generation by editing, which significantly increases the diversity and informativeness of the generation results. Our assumption is that a plausible response can be generated by slightly revising an existing response prototype. The prototype is retrieved from a pre-defined index and provides a good start-point for generation because it is grammatical and informative. We design a response editing model, where an edit vector is formed by considering differences between a prototype context and a current context, and then the edit vector is fed to a decoder to revise the prototype response for the current context. Experiment results on a large scale dataset demonstrate that the response editing model outperforms generative and retrieval-based models on various aspects.


title: Production Rate Measurement of Tritium and Other Cosmogenic Isotopes in Germanium with CDMSlite

abstract: Future direct searches for low-mass dark matter particles with germanium detectors, such as SuperCDMS SNOLAB, are expected to be limited by backgrounds from radioactive isotopes activated by cosmogenic radiation inside the germanium. There are limited experimental data available to constrain production rates and a large spread of theoretical predictions. We examine the calculation of expected production rates, and analyze data from the second run of the CDMS low ionization threshold experiment (CDMSlite) to estimate the rates for several isotopes. We model the measured CDMSlite spectrum and fit for contributions from tritium and other isotopes. Using the knowledge of the detector history, these results are converted to cosmogenic production rates at sea level. The production rates in atoms/(kg$\cdot$day) are 74$\pm$9 for $^3$H, 1.5$\pm$0.7 for $^{55}$Fe, 17$\pm$5 for $^{65}$Zn, and 30$\pm$18 for $^{68}$Ge.

categories: physics.ins-det astro-ph.CO astro-ph.IM hep-ex nucl-ex


title: Convective overshooting in sdB stars using the $k$-$\omega$ model

abstract: Mixing in the convective core is quite uncertain in core helium burning stars. In order to explore the overshooting mixing beyond the convective core, we incorporated the $k$-$\omega$ proposed by Li (2012, 2017) into MESA, and investigated the overshooting mixing in evolution of sdB models. We found that the development of the convective core can be divided into three stages. When the radiative temperature gradient $\nabla_{\rm rad}$ monotonically decreases from the stellar center, the overshooting mixing presents a behaviour of exponential decay similar with Herwig (2000), and the overshooting distance is to make $\nabla_{\rm rad} \simeq \nabla_{\rm ad}$ at the boundary of the convective core, in agreement with the prediction of the self-driving mechanism Castellani, Giannone \& Renzini (1971a). When the radiative temperature gradient $\nabla_{\rm rad}$ shows a minimum value in the convective core, the convective core may be divided into two convection zones if the minimum value of $\nabla_{\rm rad}$ is smaller than the adiabatic temperature gradient $\nabla_{\rm ad}$. For the single-zone case, the overshooting mixing still shows an exponential decay behaviour, but the overshooting distance is much smaller than in the initial stage. For the double-zone case, the overshooting mixing is similar to that of the single-case beyond the convective core, while it almost stops on both sides of the above convective shell. Our overshooting mixing scheme is similar to the maximal overshoot scheme of Constantino et al. (2015). In the final stage, continuous injection of fresh helium into the convective core by the overshooting mixing happens, which is similar to the "core breathing pulses" (Sweigart \& Demarque 1973; Castellani et al. 1985).


title: On recognition of symplectic and orthogonal groups of small dimensions by spectrum

abstract: We refer to the set of the orders of elements of a finite group as its spectrum and say that finite groups are isospectral if their spectra coincide. In the paper we determine all finite groups isospectral to the simple groups $S_6(q)$, $O_7(q)$, and $O_8^+(q)$. In particular, we prove that with just four exceptions, every such a finite group is an extension of the initial simple group by a (possibly trivial) field automorphism.


title: Matrix valued inverse problems on graphs with application to elastodynamic networks

abstract: We consider the inverse problem of finding matrix valued edge or nodal quantities in a graph from measurements made at a few boundary nodes. This is a generalization of the problem of finding resistors in a resistor network from voltage and current measurements at a few nodes, but where the voltages and currents are vector valued. The measurements come from solving a series of Dirichlet problems, i.e. finding vector valued voltages at some interior nodes from voltages prescribed at the boundary nodes. We give conditions under which the Dirichlet problem admits a unique solution and study the degenerate case where the edge weights are rank deficient. Under mild conditions, the map that associates the matrix valued parameters to boundary data is analytic. This has practical consequences to iterative methods for solving the inverse problem numerically and to local uniqueness of the inverse problem. Our results allow for complex valued weights and give also explicit formulas for the Jacobian of the parameter to data map in terms of certain products of Dirichlet problem solutions. An application to inverse problems arising in elastodynamic networks (networks of springs, masses and dampers) is presented.


title: Fast Mixing of Metropolis-Hastings with Unimodal Targets

abstract: A well-known folklore result in the MCMC community is that the Metropolis-Hastings algorithm mixes quickly for any unimodal target, as long as the tails are not too heavy. Although we've heard this fact stated many times in conversation, we are not aware of any quantitative statement of this result in the literature, and we are not aware of any quick derivation from well-known results. The present paper patches this small gap in the literature, providing a generic bound based on the popular "drift-and-minorization" framework of Rosenthal (1995). Our main contribution is to study two sublevel sets of the Lyapunov function and use path arguments in order to obtain a sharper general bound than what can typically be obtained from multistep minorization arguments.


title: Efficient Particle Smoothing for Bayesian Inference in Dynamic Survival Models

abstract: This article proposes an efficient Bayesian inference for piecewise exponential hazard (PEH) models, which allow the effect of a covariate on the survival time to vary over time. The proposed inference methodology is based on a particle smoothing (PS) algorithm that depends on three particle filters. Efficient proposal (importance) distributions for the particle filters tailored to the nature of survival data and PEH models are developed using the Laplace approximation of the posterior distribution and linear Bayes theory. The algorithm is applied to both simulated and real data, and the results show that it generates an effective sample size that is more than two orders of magnitude larger than a state-of-the-art MCMC sampler for the same computing time, and scales well in high-dimensional and relatively large data.


title: MoE-SPNet: A Mixture-of-Experts Scene Parsing Network

abstract: Scene parsing is an indispensable component in understanding the semantics within a scene. Traditional methods rely on handcrafted local features and probabilistic graphical models to incorporate local and global cues. Recently, methods based on fully convolutional neural networks have achieved new records on scene parsing. An important strategy common to these methods is the aggregation of hierarchical features yielded by a deep convolutional neural network. However, typical algorithms usually aggregate hierarchical convolutional features via concatenation or linear combination, which cannot sufficiently exploit the diversities of contextual information in multi-scale features and the spatial inhomogeneity of a scene. In this paper, we propose a mixture-of-experts scene parsing network (MoE-SPNet) that incorporates a convolutional mixture-of-experts layer to assess the importance of features from different levels and at different spatial locations. In addition, we propose a variant of mixture-of-experts called the adaptive hierarchical feature aggregation (AHFA) mechanism which can be incorporated into existing scene parsing networks that use skip-connections to fuse features layer-wisely. In the proposed networks, different levels of features at each spatial location are adaptively re-weighted according to the local structure and surrounding contextual information before aggregation. We demonstrate the effectiveness of the proposed methods on two scene parsing datasets including PASCAL VOC 2012 and SceneParse150 based on two kinds of baseline models FCN-8s and DeepLab-ASPP.


title: Impact of Building-Level Motor Protection on Power System Transient Behaviors

abstract: Protection strategies for transmission and distribution systems have been extensively investigated to facilitate better coordination of physical protection devices. A diverse range of functional motors with dedicated protection schemes are being used more and more in commercial, residential, and industrial buildings. This paper focuses on simulating several of the most popular protection schemes using the ElectroMagnetic Transient Program (EMTP) model for three-phase and single-phase induction motors in existing commercial buildings connected to typical distribution feeders. To investigate the behaviors of single-phase motors stalling, the actions of motor protection and reconnections, and the impacts of device-level protection on system-level dynamics, we imposed voltage depressions at the head of a feeder fully loaded with functional induction motors. Several distribution feeders are represented in a standard IEEE 39-bus transmission system to simulate fault-induced delayed voltage recovery (FIDVR) and explore mitigation strategies by optimally configuring the building-level motor protection settings.


title: Systematization of a 256-bit lightweight block cipher Marvin

abstract: In a world heavily loaded by information, there is a great need for keeping specific information secure from adversaries. The rapid growth in the research field of lightweight cryptography can be seen from the list of the number of lightweight stream as well as block ciphers that has been proposed in the recent years. This paper focuses only on the subject of lightweight block ciphers. In this paper, we have proposed a new 256 bit lightweight block cipher named as Marvin, that belongs to the family of Extended LS designs.


title: Axionic extension of the Proca action

abstract: In the context of Cartan theory, we will show that the Proca action can be obtained from the Gauss-Bonnet action for a special choice of the torsion tensor. This in fact equivalent to the special case of the 4th vector Galileon Lagrangian. The theory will then be promoted to contain an axion field. It will be proved that the model admits de Sitter expanding phase with healthy tensor and vector fluctuations. The scalar sector has 4 degrees of freedom, but only one of them remains dynamical in the limit $k\rightarrow\infty$. We will analyze the scalar fluctuations in the small scales limit and obtain the parameter space of the theory in which all the perturbations remain healthy.


title: Experiments in Fast, Autonomous, GPS-Denied Quadrotor Flight

abstract: High speed navigation through unknown environments is a challenging problem in robotics. It requires fast computation and tight integration of all the subsystems on the robot such that the latency in the perception-action loop is as small as possible. Aerial robots add a limitation of payload capacity, which restricts the amount of computation that can be carried onboard. This requires efficient algorithms for each component in the navigation system. In this paper, we describe our quadrotor system which is able to smoothly navigate through mixed indoor and outdoor environments and is able to fly at speeds of more than 18 m/s. We provide an overview of our system and details about the specific component technologies that enable the high speed navigation capability of our platform. We demonstrate the robustness of our system through high speed autonomous flights and navigation through a variety of obstacle rich environments.


title: Constructive error analysis of a full-discrete finite element method for the heat equation

abstract: In this paper, we present a new full-discrete finite element method for the heat equation, and show the numerical stability of the method by verified computations. Since, in the error analysis, we use the constructive error estimates proposed ny Nakao et. all in 2013, this work is considered as an extention of that paper. We emphasize that concerned scheme seems to be a quite normal Galerkin method and easy to implement for evolutionary equations comparing with previous one. In the constructive error estimates, we effectively use the numerical computations with guaranteed accuracy.


title: Capacitor Based Activity Sensing for Kinetic Powered Wearable IoTs

abstract: We propose a novel use of the conventional energy storage component, i.e., capacitor, in kinetic-powered wearable IoTs as a sensor to detect human activities. Since different activities accumulate energies in the capacitor at different rates, these activities can be detected directly by observing the charging rate of the capacitor. The key advantage of the proposed capacitor based activity sensing mechanism, called CapSense, is that it obviates the need for sampling the motion signal during the activity detection period thus significantly saving power consumption of the wearable device. A challenge we face is that capacitors are inherently non-linear energy accumulators, which, even for the same activity, leads to significant variations in charging rates at different times depending on the current charge level of the capacitor. We solve this problem by jointly configuring the parameters of the capacitor and the associated energy harvesting circuits, which allows us to operate on charging cycles that are approximately linear. We design and implement a kinetic-powered shoe sole and conduct experiments with 10 subjects. Our results show that CapSense can classify five different daily activities with 95% accuracy while consuming 73% less system power compared to conventional motion signal based activity detection.


title: Creating Tailored and Adaptive Network Services with the Open Orchestration C-RAN Framework

abstract: Next generation wireless communications networks will leverage software-defined radio and networking technologies, combined with cloud and fog computing. A pool of resources can then be dynamically allocated to create personalized network services (NSs). The enabling technologies are abstraction, virtualization and consolidation of resources, automatization of processes, and programmatic provisioning and orchestration. ETSI's network functions virtualization (NFV) management and orchestration (MANO) framework provides the architecture and specifications of the management layers. We introduce OOCRAN, an open-source software framework and testbed that extends existing NFV management solutions by incorporating the radio communications layers. This paper presents OOCRAN and illustrates how it monitors and manages the pool of resources for creating tailored NSs. OOCRAN can automate NS reconfiguration, but also facilitates user control. We demonstrate the dynamic deployment of cellular NSs and discuss the challenges of dynamically creating and managing tailored NSs on shared infrastructure.


title: Effect of Hyper-Parameter Optimization on the Deep Learning Model Proposed for Distributed Attack Detection in Internet of Things Environment

abstract: This paper studies the effect of various hyper-parameters and their selection for the best performance of the deep learning model proposed in [1] for distributed attack detection in the Internet of Things (IoT). The findings show that there are three hyper-parameters that have more influence on the best performance achieved by the model. As a consequence, this study shows that the model's accuracy as reported in the paper is not achievable, based on the best selections of parameters, which is also supported by another recent publication [2].


title: Stability of boundary layer flow based on energy gradient theory

abstract: The flow of the laminar boundary layer on a flat plate is studied with simulation of Navier-Stokes equations. The mechanisms of flow instability at external edge of the boundary layer and near the wall are analyzed using the energy gradient theory. The simulation results show that there is an overshoot on the velocity profile at the external edge of the boundary layer. At this overshoot, the energy gradient function is very large which results in instability according to the energy gradient theory. It is found that the transverse gradient of the total mechanical energy is responsible for the instability at the external edge of the boundary layer, which induces the entrainment of external flow into the boundary layer. Within the boundary layer, there is a maximum of the energy gradient function near the wall, which leads to intensive flow instability near the wall and contributes to the generation of turbulence.

categories: physics.flu-dyn math.DS nlin.CD physics.ao-ph


title: 5G-CORNET: Platform as a Service

abstract: Practical testing of the latest wireless communications standards requires the availability of flexible radio frequency hardware, networking and computing resources. We are providing a Cloud-based infrastructure which offers the necessary resources to carry out tests of the latest 5G standards. The testbed provides a Cloud-based Infrastructure as a Service. The research community can access hardware and software resources through a virtual plat-form that enables isolation and customization of experiments. In other words, researchers have control over the preferred experimental architecture and can run concurrent experiments on the same testbed. This paper introduces the resources that can be used to develop 5G testbeds and experiments.


title: A model-driven approach for a new generation of adaptive libraries

abstract: Efficient high-performance libraries often expose multiple tunable parameters to provide highly optimized routines. These can range from simple loop unroll factors or vector sizes all the way to algorithmic changes, given that some implementations can be more suitable for certain devices by exploiting hardware characteristics such as local memories and vector units. Traditionally, such parameters and algorithmic choices are tuned and then hard-coded for a specific architecture and for certain characteristics of the inputs. However, emerging applications are often data-driven, thus traditional approaches are not effective across the wide range of inputs and architectures used in practice. In this paper, we present a new adaptive framework for data-driven applications which uses a predictive model to select the optimal algorithmic parameters by training with synthetic and real datasets. We demonstrate the effectiveness of a BLAS library and specifically on its matrix multiplication routine. We present experimental results for two GPU architectures and show significant performance gains of up to 3x (on a high-end NVIDIA Pascal GPU) and 2.5x (on an embedded ARM Mali GPU) when compared to a traditionally optimized library.


title: Bidirectional Quantum Controlled Teleportation by Using Five-qubit Entangled State as a Quantum Channel

abstract: In this paper, a novel protocol is proposed for implementing BQCT by using five-qubit en The proposed protocol depends on the Controlled-NOT operation, proper single-qubit unitary operations and single-qubit measurement in the Z-basis and X-basis. The results showed that the protocol is more efficient from the perspective such as lower shared qubits and, single qubit measurements compared to the previous work. Furthermore, the probability of obtaining Charlie's qubit by eavesdropper is reduced, and supervisor can control one of the users or every two users. Also, we present a new method for transmitting n and m-qubits entangled states between Alice and Bob using proposed protocol.tangled states as a quantum channel which in the same time, the communicated users can teleport each one-qubit state to each other under permission of controller.


title: Structure and stimuli-responsiveness of all-DNA dendrimers: theory and experiment

abstract: We present a comprehensive theoretical and experimental study of the solution phase properties of DNA-based family of nanoparticles - dendrimer-like DNA molecules (DL-DNA). These charged DNA dendrimers are novel macromolecular aggregates, which hold high promise in targeted self-assembly of soft matter systems in the bulk and at interfaces. To describe the behavior of this family of dendrimers (with generations ranging from G1 to G7), we use a theoretical model in which base-pairs of a single DL-DNA molecule are modeled by charged monomers, whose interactions are chosen to mimic the equilibrium properties of DNA correctly. Experimental results on the sizes and conformations of DL-DNA are based on static and 1dynamic light scattering; at the same time, Molecular Dynamics simulations are employed to model the equilibrium properties of DL-DNA, which compare favorably with the findings from experiments while at the same time providing a host of additional information and insight into the molecular structure of the nanostructures. We also examine the salt-responsiveness of these macromolecules, finding that despite the strong screening of electrostatic interactions, brought about by the added salt, the macromolecules shrink only slightly, their size robustness stemming from the high bending rigidity of the DNA-segments. The study of these charged dendrimer systems is an important field of research in the area of soft matter due to their potential role for various interdisciplinary applications, ranging from molecular cages and carriers for drug delivery in a living organism to the development of dendrimer- and dendron-based ultra-thin films in the area of nanotechnology. These findings are essential to determine if DL-DNA is a viable candidate for the experimental realization of cluster crystals in the bulk, a novel form of solids with multiple site occupancy.


title: Multiple Solar Jets from NOAA AR 12644

abstract: We present here the observations of solar jets observed on April 04, 2017 from NOAA active region (AR) 12644 using high temporal and spatial resolution AIA instrument. We have observed around twelve recurring jets during the whole day. Magnetic flux emergence and cancellation have been observed at the jet location. The multi-band observations evidenced that these jets were triggered due to the magnetic reconnection at low coronal null-point.


title: Cancer Metastasis Detection With Neural Conditional Random Field

abstract: Breast cancer diagnosis often requires accurate detection of metastasis in lymph nodes through Whole-slide Images (WSIs). Recent advances in deep convolutional neural networks (CNNs) have shown significant successes in medical image analysis and particularly in computational histopathology. Because of the outrageous large size of WSIs, most of the methods divide one slide into lots of small image patches and perform classification on each patch independently. However, neighboring patches often share spatial correlations, and ignoring these spatial correlations may result in inconsistent predictions. In this paper, we propose a neural conditional random field (NCRF) deep learning framework to detect cancer metastasis in WSIs. NCRF considers the spatial correlations between neighboring patches through a fully connected CRF which is directly incorporated on top of a CNN feature extractor. The whole deep network can be trained end-to-end with standard back-propagation algorithm with minor computational overhead from the CRF component. The CNN feature extractor can also benefit from considering spatial correlations via the CRF component. Compared to the baseline method without considering spatial correlations, we show that the proposed NCRF framework obtains probability maps of patch predictions with better visual quality. We also demonstrate that our method outperforms the baseline in cancer metastasis detection on the Camelyon16 dataset and achieves an average FROC score of 0.8096 on the test set. NCRF is open sourced at https://github.com/baidu-research/NCRF.


title: Dualities of differential geometric invariants on cuspidal edges on flat fronts in the hyperbolic space and the de Sitter space

abstract: We compute the differential geometric invariants of cuspidal edges on flat surfaces in hyperbolic $3$-space and in de Sitter space. Several dualities of invariants are pointed out.


title: Restricted Boltzmann Machines: Introduction and Review

abstract: The restricted Boltzmann machine is a network of stochastic units with undirected interactions between pairs of visible and hidden units. This model was popularized as a building block of deep learning architectures and has continued to play an important role in applied and theoretical machine learning. Restricted Boltzmann machines carry a rich structure, with connections to geometry, applied algebra, probability, statistics, machine learning, and other areas. The analysis of these models is attractive in its own right and also as a platform to combine and generalize mathematical tools for graphical models with hidden variables. This article gives an introduction to the mathematical analysis of restricted Boltzmann machines, reviews recent results on the geometry of the sets of probability distributions representable by these models, and suggests a few directions for further investigation.

categories: cs.LG cs.IT math.IT math.PR math.ST stat.ML stat.TH


title: An optimal result for global existence and boundedness in a three-dimensional Keller-Segel(-Navier)-Stokes system (involving a tensor-valued sensitivity with saturation)

abstract: The coupled quasilinear Keller-Segel-Navier-Stokes system $$ \left\{ \begin{array}{l} n_t+u\cdot\nabla n=\Delta n-\nabla\cdot(nS(x,n,c)\nabla c),\quad x\in \Omega, t>0, c_t+u\cdot\nabla c=\Delta c-c+n,\quad x\in \Omega, t>0, u_t+\kappa(u \cdot \nabla)u+\nabla P=\Delta u+n\nabla \phi,\quad x\in \Omega, t>0, \nabla\cdot u=0,\quad x\in \Omega, t>0 \end{array}\right.\eqno(KSNF) $$ is considered under Neumann boundary conditions for $n$ and $c$ and no-slip boundary conditions for $u$ in three-dimensional bounded domains $\Omega\subseteq \mathbb{R}^3$ with smooth boundary, where $\kappa\in \mathbb{R}$ is given constant, $\phi\in W^{1,\infty}(\Omega),m>0$, $|S(x,n,c)|\leq C_S(1+n)^{-\alpha}$ and the parameter $\alpha\geq0$. %For any small $\mu>0$, If $\alpha>\frac{1}{3}$, then for all reasonably regular initial data, a corresponding initial-boundary value problem for $(KSNF)$ possesses a globally defined weak solution. This result improves the result of Wang (Math. Models Methods Appl. Sci., 27(14):2745--2780, 2017), where the global {\bf very weak} solution for system $(KSNF)$ is obtained. Moreover, if $\kappa=0$ and $S(x,n,c)=C_S(1+n)^{-\alpha}$, then the system $(KSF)$ exists at least one global classical solution which is bounded in $\Omega\times(0,\infty)$. These results significantly improve or extend previous results of several authors. In comparison to the result for the corresponding fluid-free system, the {\bf optimal condition} on the parameter $\alpha$ for global (weak) existence and boundedness is obtained. Our proofs rely on Maximal Sobolev regularity techniques and on a variant of the natural gradient-like energy functional.


title: Spin-active devices based on graphene / WSe$_2$ heterostructure

abstract: We consider graphene on monolayer WSe$_2$ and the spin-orbit coupling induced by the transition-metal dichalcogenide substrate for application to spin-active devices. We study quantum dots and graphene quantum rings as tunable spin filters and inverters. We use an atomistic tight-binding model as well as the Dirac equation to determine stationary states confined in quantum dots and rings. Next we solve the spin-transport problem for dots and rings connected to nanoribbon leads. The systems connected to zigzag nanoribbons at low magnetic fields act as spin filters and provide strongly spin polarized current.


title: A new distance-regular graph of diameter 3 on 1024 vertices

abstract: The dodecacode is a nonlinear additive quaternary code of length $12$. By puncturing it at any of the twelve coordinates, we obtain a uniformly packed code of distance $5$. In particular, this latter code is completely regular but not completely transitive. Its coset graph is distance-regular of diameter three on $2^{10}$ vertices, with new intersection array $\{33,30,15;1,2,15\}$. The automorphism groups of the code, and of the graph, are determined. Connecting the vertices at distance two gives a strongly regular graph of (previously known) parameters $(2^{10},495,238,240)$. Another strongly regular graph with the same parameters is constructed on the codewords of the dual code. A non trivial completely regular binary code of length $33$ is constructed.


title: Optimizing Leader Influence in Networks through Selection of Direct Followers

abstract: The paper considers the problem of a leader that seeks to optimally influence the opinions of agents in a directed network through connecting with a limited number of the agents ("direct followers"), possibly in the presence of a fixed competing leader. The settings involving a single leader and two competing leaders are unified into a general combinatoric optimization problem, for which two heuristic approaches are developed. The first approach is based on a convex relaxation scheme, possibly in combination with the $\ell_1$-norm regularization technique, and the second is based on a greedy selection strategy. The main technical novelties of this work are in the establishment of supermodularity of the objective function and convexity of its continuous relaxation. The greedy approach is guaranteed to have a lower bound on the approximation ratio sharper than $(1-1/e)$, while the convex approach can benefit from efficient (customized) numerical solvers to have practically comparable solutions possibly with faster computation times. The two approaches can be combined to provide improved results. In numerical examples, the approximation ratio can be made to reach $90\%$ or higher depending on the number of direct followers.


title: On order continuous duals of vector lattices of continuous functions on resolvable spaces

abstract: A topological space $X$ is called resolvable if it contains a dense subset with dense complement. Using only basic principles, we show that whenever the space $X$ has a resolving subset that can be written as an at most countably infinite union of subsets, in such a way that a given vector lattice of (not necessarily bounded) continuous functions on $X$ separates every point outside the resolving subset from each of its constituents, then the order continuous dual of this lattice is trivial. In order to apply this result in specific cases, we show that several spaces have resolving subsets that can be written as at most countably infinite unions of closed nowhere dense subsets. An appeal to the main result then yields, for example, that, under appropriate conditions, vector lattices of continuous functions on separable spaces, metric spaces, and topological vector spaces have trivial order continuous duals if they separate points and closed nowhere dense subsets. Our results in this direction extend known results in the literature. We also show that, under reasonably mild separation conditions, vector lattices of continuous functions on locally connected $T_1$ Baire spaces without isolated points have trivial order continuous duals. A discussion of the relation between our results and the non-existence of non-zero normal measures is included.


title: A New COLD Feature based Handwriting Analysis for Ethnicity/Nationality Identification

abstract: Identifying crime for forensic investigating teams when crimes involve people of different nationals is challenging. This paper proposes a new method for ethnicity (nationality) identification based on Cloud of Line Distribution (COLD) features of handwriting components. The proposed method, at first, explores tangent angle for the contour pixels in each row and the mean of intensity values of each row in an image for segmenting text lines. For segmented text lines, we use tangent angle and direction of base lines to remove rule lines in the image. We use polygonal approximation for finding dominant points for contours of edge components. Then the proposed method connects the nearest dominant points of every dominant point, which results in line segments of dominant point pairs. For each line segment, the proposed method estimates angle and length, which gives a point in polar domain. For all the line segments, the proposed method generates dense points in polar domain, which results in COLD distribution. As character component shapes change, according to nationals, the shape of the distribution changes. This observation is extracted based on distance from pixels of distribution to Principal Axis of the distribution. Then the features are subjected to an SVM classifier for identifying nationals. Experiments are conducted on a complex dataset, which show the proposed method is effective and outperforms the existing method


title: Transfer Learning with Human Corneal Tissues: An Analysis of Optimal Cut-Off Layer

abstract: Transfer learning is a powerful tool to adapt trained neural networks to new tasks. Depending on the similarity of the original task to the new task, the selection of the cut-off layer is critical. For medical applications like tissue classification, the last layers of an object classification network might not be optimal. We found that on real data of human corneal tissues the best feature representation can be found in the middle layers of the Inception-v3 and in the rear layers of the VGG-19 architecture.


title: Cohomology and the Bowditch Boundary

abstract: We give a group cohomological description of the \v{C}ech cohomology of the Bowditch boundary of a relatively hyperbolic group pair, generalizing a result of Bestvina-Mess about hyperbolic groups. In case of a relatively hyperbolic Poincar\'e duality group pair, we show the Bowditch boundary is a homology manifold. For a three-dimensional Poincar\'e duality pair, we recover the theorem of Tshishiku-Walsh stating that the boundary is homeomorphic to a two-sphere.


title: On radical and torsion theory in the category of S-acts

abstract: In abelian categories like the category of R-modules and even in the category S-Act 0 of S-acts with a unique zero, idempotent radicals and torsion theories are equivalent, and the {\tau}-torsion and {\tau}- torsion free classes of a torsion theory {\tau} are closed under coproducts. These are not necessarily true in the category S-Act of S-acts. In this paper, we prove that torsion theories are equivalent with the Kurosh- Amitsur radicals. We, also, show that the class of Kurosh-Amitsur radicals is a reflective subcategory of Hoehnke radicals, as a poset.


title: Atomic Origin of Ti Deficient Dislocation in SrTiO3 Bicrystal and Their Electronic Structures

abstract: Dislocations in perovskite oxides have important impacts on their physical and chemical properties, which are determined by their unique atomic environments. In the present study, the structure of dislocations in a 10{\deg} low-angle grain boundary of SrTiO3 (STO) is characterized by spherical aberration corrected scanning transmission electron microscopy (Cs-STEM) and spectroscopy. In contrast to previous studies, the deficiency instead of enrichment of titanium (Ti) is observed at the dislocation cores mainly due to the Sr substitution and under occupancy of Ti. The presence of oxygen vacancies and partially reduced Ti are also detected at the Ti deficient dislocations cores. These findings indicate the atomic structure of dislocations can be very different even they have the same Burges vectors. Controllable elemental segregation in the dislocations and grain boundaries via bicrystal engineering should be very useful for design of devices with novel functions.


title: Radical-injectivy in the category S-Act

abstract: Various generalizations of the concept of injectivy, in particular injectivy with respect to a specific class of morphisms, have been intensively studied throughout the years in different categories. One of the important kinds of injectivy studied in the category R-Mod of R-modules is ${\tau}$-injectivy, for a torsion theory ${\tau}$, or in the other words r-injectivy, where r is the induced idempotent radical by ${\tau}$. In this paper, we introduce the notion of r-injectivy, for a Hoehnke radical r in the category S-Act of S-acts and we study the main properties of this kind of injectivy. Indeed, we show that this kind of injectivy is well behavior and also we present a Bear Theorem for r-injective S-acts. We then consider r-injectivy for a Kurosh-Amitsur radical r and we give stronger results in this case. Finally we present conditions under which r-injective S-acts are exactly injective ones and we give a characterization for injective S-acts


title: Learning to Update for Object Tracking with Recurrent Meta-learner

abstract: Model update lies at the heart of object tracking. Generally, model update is formulated as an online learning problem where a target model is learned over the online training set. Our key innovation is to \emph{formulate the model update problem in the meta-learning framework and learn the online learning algorithm itself using large numbers of offline videos}, i.e., \emph{learning to update}. The learned updater takes as input the online training set and outputs an updated target model. As a first attempt, we design the learned updater based on recurrent neural networks (RNNs) and demonstrate its application in a template-based tracker and a correlation filter-based tracker. Our learned updater consistently improves the base trackers and runs faster than realtime on GPU while requiring small memory footprint during testing. Experiments on standard benchmarks demonstrate that our learned updater outperforms commonly used update baselines including the efficient exponential moving average (EMA)-based update and the well-designed stochastic gradient descent (SGD)-based update. Equipped with our learned updater, the template-based tracker achieves state-of-the-art performance among realtime trackers on GPU.


title: On the image of the unstable Boardman map

abstract: We consider the `unstable Boardman map' (homomorphism if $k>0$) $$b:\pi^{m+k}\Sigma^k\Omega^lS^{n+l}\simeq[\Omega^lS^{n+l},\Omega^kS^{m+k}]\longrightarrow \mathrm{Hom}(H_*\Omega^lS^{n+l},H_*\Omega^kS^{m+k})$$ defined by $h(f)=f_*$. We work at the prime $2$, with $k=0$, and determine the image for various in the following cases : (1) $m=n$ and $l>0$ arbitrary; (2) $m>n$ and $l=1$. We observe that in most of the cases the image is trivial with the exceptions corresponding to the cases when either there is a (commutative) $H$-space structure on $S^n$ or there is a Hopf invariant one element.


title: Blockchain in the Eyes of Developers

abstract: The popularity of blockchain technology continues to grow rapidly in both industrial and academic fields. Most studies of blockchain focus on the improvements of security, usability, or efficiency of blockchain protocols, or the applications of blockchain in finance, Internet of Things, or public services. However, few of them could reveal the concerns of front-line developers and the situations of blockchain in practice. In this article, we investigate how developers use and discuss blockchain with a case study of Stack Overflow posts. We find blockchain is a relatively new topic in Stack Overflow but it is rising to popularity. We detect 13 types of questions that developers post in Stack Overflow and identify 45 blockchain relevant entities (e.g., frameworks, libraries, or tools) for building blockchain applications. These findings may help blockchain project communities to know where to improve and help novices to know where to start.


title: Distributed Optimization over Directed Graphs with Row Stochasticity and Constraint Regularity

abstract: This paper deals with an optimization problem over a network of agents, where the cost function is the sum of the individual objectives of the agents and the constraint set is the intersection of local constraints. Most existing methods employing subgradient and consensus steps for solving this problem require the weight matrix associated with the network to be column stochastic or even doubly stochastic, conditions that can be hard to arrange in directed networks. Moreover, known convergence analyses for distributed subgradient methods vary depending on whether the problem is unconstrained or constrained, and whether the local constraint sets are identical or nonidentical and compact. The main goals of this paper are: (i) removing the common column stochasticity requirement; (ii) relaxing the compactness assumption, and (iii) providing a unified convergence analysis. Specifically, assuming the communication graph to be fixed and strongly connected and the weight matrix to (only) be row stochastic, a distributed projected subgradient algorithm and its variation are presented to solve the problem for cost functions that are convex and Lipschitz continuous. Based on a regularity assumption on the local constraint sets, a unified convergence analysis is given that can be applied to both unconstrained and constrained problems and without assuming compactness of the constraint sets or an interior point in their intersection. Further, we also establish an upper bound on the absolute objective error evaluated at each agent's available local estimate under a nonincreasing step size sequence. This bound allows us to analyze the convergence rate of both algorithms.


title: Simplifying Probabilistic Expressions in Causal Inference

abstract: Obtaining a non-parametric expression for an interventional distribution is one of the most fundamental tasks in causal inference. Such an expression can be obtained for an identifiable causal effect by an algorithm or by manual application of do-calculus. Often we are left with a complicated expression which can lead to biased or inefficient estimates when missing data or measurement errors are involved. We present an automatic simplification algorithm that seeks to eliminate symbolically unnecessary variables from these expressions by taking advantage of the structure of the underlying graphical model. Our method is applicable to all causal effect formulas and is readily available in the R package causaleffect.


title: An Approximation Theorist's View on Solving Operator Equations

abstract: When an Approximation Theorist looks at well-posed PDE problems or operator equations, and standard solution algorithms like Finite Elements, Rayleigh-Ritz or Trefftz techniques, methods of fundamental or particular solutions and their combinations, they boil down to approximation problems and stability issues. These two can be handled by Approximation Theory, and this paper shows how, with special applications to the aforementioned algorithms. The intention is that the Approximation Theorists viewpoint is helpful for readers who are somewhat away from that subject.


title: Itemsets of interest for negative association rules

abstract: So far, most of association rule minings have considered about positive association rules based on frequent itemsets in databases[2,5-7], but they have not considered the problem of mining negative association rules correlated with frequent and infrequent itemsets. Negative association rule mining is much more difficult than positive association rule mining because it needs infrequent itemsets, and only the rare association rule mining which is a kind of negative association rule minings has been studied. This paper presents a mathematical model to mine positive and negative association rules precisely, for which in a point of view that negation of a frequent itemset is an infrequent itemset, we make clear the importance of the problem of mining negative association rules based on certain infrequent itemsets and study on what conditions infrequent itemsets of interest should satisfy for negative association rules.


title: Enhancing Identification of Causal Effects by Pruning

abstract: Causal models communicate our assumptions about causes and effects in real-world phe- nomena. Often the interest lies in the identification of the effect of an action which means deriving an expression from the observed probability distribution for the interventional distribution resulting from the action. In many cases an identifiability algorithm may return a complicated expression that contains variables that are in fact unnecessary. In practice this can lead to additional computational burden and increased bias or inefficiency of estimates when dealing with measurement error or missing data. We present graphical criteria to detect variables which are redundant in identifying causal effects. We also provide an improved version of a well-known identifiability algorithm that implements these criteria.


title: A Hybrid Reconstruction Approach for Absorption Coefficient by Fluorescence Photoacoustic Tomography

abstract: In this paper, we propose a hybrid method to reconstruct the absorption coefficient by fluorescence photoacoustic tomography (FPAT), which combines a squeeze iterative method (SIM) and a nonlinear optimization method. The SIM is to use two monotonic sequences to squeeze the exact coefficient, and it quickly locates near the exact coefficient. The nonlinear optimization method is utilized to attain a higher accuracy. The hybrid method inherits the advantages of each method with higher accuracy and faster convergence. The hybrid reconstruction method is also suitable for multi-measurement. Numerical experiments show that the hybrid method converges faster than the optimization method in multi-measurement case, and that the accuracy is also higher in one-measurement case.


title: Small data scattering of semirelativistic Hartree equation

abstract: In this paper we study the small data scattering of Hartree type semirelativistic equation in space dimension $3$. The Hartree type nonlinearity is $[V * |u|^2]u$ and the potential $V$ which generalizes the Yukawa has some growth condition. We show that the solution scatters to linear solution if an initial data given in $ H^{s,1}$ is sufficiently small and $s>\frac14$. Here, $H^{s, 1}$ is Sobolev type space taking in angular regularity with norm defined by $\|\varphi\|_{ H^{s, 1}} = \|\varphi\|_{ H^{s}} + \|\nabla_{\mathbb S} \varphi\|_{H^{s}}$. To establish the results we employ the recently developed Strichartz estimate which is $L_\theta^2$-averaged on the unit sphere $\mathbb S^{2}$ and construct the resolution space based on $U^p$-$V^p$ space.


title: Phase control of Schwinger pair production by colliding laser pulses

abstract: We study the Schwinger electron-positron pair production by a strong electromagnetic field of two colliding e-polarized laser pulses with a relative phase shift $\Psi$. The spatio-temporal distribution of created pairs is very sensitive to this phase shift and to polarization of the pulses. We study this dependence in detail and demonstrate how it can be explained in terms of the underlying invariant field structure of the counterpropagating focused pulses.


title: The vector potential of a point magnetic dipole

abstract: The retarded vector potential of a point magnetic dipole with an arbitrary time dependence undergoing accelerated relativistic motions is derived. A novel expression for the angular distribution of the radiated power of an arbitrary moving magnetic dipole is obtained. In particular, the case of an uniformly accelerated particle with a constant magnetic moment is considered. The resulting equations are verified by showing that the fields reduce to less general forms found in the literature.


title: Using the Properties of Broad Absorption Line Quasars to Illuminate Quasar Structure

abstract: A key to understanding quasar unification paradigms is the emission properties of broad absorption line quasars (BALQs). The fact that only a small fraction of quasar spectra exhibit deep absorption troughs blueward of the broad permitted emission lines provides a crucial clue to the structure of quasar emitting regions. To learn whether it is possible to discriminate between the BALQ and non-BALQ populations given the observed spectral properties of a quasar, we employ two approaches: one based on statistical methods and the other supervised machine learning classification, applied to quasar samples from the Sloan Digital Sky Survey. The features explored include continuum and emission line properties, in particular the absolute magnitude, redshift, spectral index, line width, asymmetry, strength, and relative velocity offsets of high-ionisation CIV $\lambda 1549$ and low-ionisation MgII $\lambda 2798$ lines. We consider a complete population of quasars, and assume that the statistical distributions of properties represent all angles where the quasar is viewed without obscuration. The distributions of the BALQ and non-BALQ sample properties show few significant differences. None of the observed continuum and emission line features are capable of differentiating between the two samples. Most published narrow disk-wind models are inconsistent with these observations, and an alternative disk-wind model is proposed. The key feature of the proposed model is a disk-wind filling a wide opening angle with multiple radial streams of dense clumps.


title: Breaking the 6/5 threshold for sums and products modulo a prime

abstract: Let $A \subset \mathbb{F}_p$ of size at most $p^{3/5}$. We show $$|A+A| + |AA| \gtrsim |A|^{6/5 + c},$$ for $c = 4/305$. Our main tools are the cartesian product point--line incidence theorem of Stevens and de Zeeuw and the theory of higher energies developed by the second author.


title: Dynamical exchange and phase induced switching of a localized molecular spin

abstract: The dynamics of a localized molecular spin under the influence of external voltage pulses is addressed using a generalized spin equation of motion. The approach incorporates anisotropic fields, non-equilibrium conditions, and non-adiabatic dynamics. By application of a voltage pulse of temporal length $\tau$, a recurring $4\pi$-periodic switching of the localized spin is observed. The switching phenomena can be explained by dynamical exchange interactions, internal transient fields, and self-interactions acting on the localized spin moment.


title: Uniform Strichartz estimates on the lattice

abstract: In this paper, we investigate Strichartz estimates for discrete linear Schr\"odinger and discrete linear Klein-Gordon equations on a lattice $h\mathbb{Z}^d$ with $h>0$, where $h$ is the distance between two adjacent lattice points. As for fixed $h>0$, Strichartz estimates for discrete Schr\"odinger and one-dimensional discrete Klein-Gordon equations are established by Stefanov-Kevrekidis \cite{SK2005}. Our main result shows that such inequalities hold uniformly in $h\in(0,1]$ with additional fractional derivatives on the right hand side. As an application, we obtain local well-posedness of a discrete nonlinear Schr\"odinger equation with a priori bounds independent of $h$. The theorems and the harmonic analysis tools developed in this paper would be useful in the study of the continuum limit $h\to 0$ for discrete models, including our forthcoming work \cite{HY} where strong convergence for a discrete nonlinear Schr\"odinger equation is addressed.


title: Deterministic free-space source of single photons using Rydberg atoms

abstract: We propose an efficient free-space scheme to create single photons in a well-defined spatiotemporal mode. To that end, we first prepare a single source atom in an excited Rydberg state. The source atom interacts with a large ensemble of ground-state atoms via a laser-mediated dipole-dipole exchange interaction. Using an adiabatic passage with a chirped laser pulse, we produce a spatially extended spin wave of a single Rydberg excitation in the ensemble, accompanied by the transition of the source atom to another Rydberg state. The collective atomic excitation can then be converted to a propagating optical photon via a coherent coupling field. In contrast to previous approaches, our single-photon source does not rely on the strong coupling of a single emitter to a resonant cavity, nor does it require the heralding of collective excitation or complete Rydberg blockade of multiple excitations in the atomic ensemble.


title: Jacob's ladders, crossbreeding, secondary crossbreeding and synergetic phenomena generated by Riemann's zeta-function and some elementary functions on disconnected sets of the critical line

abstract: In this paper we obtain new complete hybrid formula for corresponding class of $\zeta$-factorization formulas. We demonstrate that this formula is the synergetic one. Namely, this one describes the cooperation between some class of elementary functions and Riemann's zeta-function on a class of disconnected sets on the critical line. Some comparizon between this pure mathematical phenomenon and the Belousov-Zhabotinski chemical reaction is added. \centering DEDICATED TO 110th ANNIVERSARY OF HARDY'S PURE MATHEMATICS


title: Analytic solutions to the Maxwell-London equations and levitation force for a superconducting sphere in a quadrupole field

abstract: Recent proposals suggest using magnetically trapped superconducting spheres in the Meissner state to create low-loss mechanical oscillators with long coherence times. In these proposals the derivation of the force on the superconducting sphere and the coupling to the sphere typically relies on a vanishing penetration depth $\lambda$ as well as a specific symmetry (i.e. restricting the position of the sphere to one axis) or heuristic methods (e.g. assigning an equivalent point magnetic dipole moment to the sphere). In this paper we analytically solve the Maxwell-London equations with appropriate boundary conditions for a superconducting sphere in a quadrupole field. The analytic solutions provide the full field distribution for arbitrary $\lambda$ and for an arbitrary sphere position as well as the distribution of shielding currents within the sphere. We furthermore calculate the force acting on the sphere and the maximum field over the volume of the sphere. We show that for a certain range of $\lambda$ the maximum field experienced by the superconducting sphere is actually lower than it is for a non-magnetic sphere.


title: Near-$AdS_2$ perturbations and the connection with near-extreme Reissner-Nordstrom

abstract: The geometry very near the horizon of a near-extreme Reissner-Nordstrom black hole is described by the direct product of a near-$AdS_2$ spacetime with a two-sphere. While near-$AdS_2$ is locally diffeomorphic to $AdS_2$ the two connect differently with the asymptotically flat part of the geometry of (near-)extreme Reissner-Nordstrom. In previous work, we solved analytically the coupled gravitational and electromagnetic perturbation equations of $AdS_2\times S^2$ and the associated connection problem with extreme Reissner-Nordstrom. In this paper, we give the solution for perturbations of near-$AdS_2\times S^2$ and make the connection with near-extreme Reissner-Nordstrom. Our results here may also be thought of as computing the classical scattering matrix for gravitational and electromagnetic waves which probe the region very near the horizon of a highly charged spherically symmetric black hole.


title: End-to-End Speech Recognition From the Raw Waveform

abstract: State-of-the-art speech recognition systems rely on fixed, hand-crafted features such as mel-filterbanks to preprocess the waveform before the training pipeline. In this paper, we study end-to-end systems trained directly from the raw waveform, building on two alternatives for trainable replacements of mel-filterbanks that use a convolutional architecture. The first one is inspired by gammatone filterbanks (Hoshen et al., 2015; Sainath et al, 2015), and the second one by the scattering transform (Zeghidour et al., 2017). We propose two modifications to these architectures and systematically compare them to mel-filterbanks, on the Wall Street Journal dataset. The first modification is the addition of an instance normalization layer, which greatly improves on the gammatone-based trainable filterbanks and speeds up the training of the scattering-based filterbanks. The second one relates to the low-pass filter used in these approaches. These modifications consistently improve performances for both approaches, and remove the need for a careful initialization in scattering-based trainable filterbanks. In particular, we show a consistent improvement in word error rate of the trainable filterbanks relatively to comparable mel-filterbanks. It is the first time end-to-end models trained from the raw signal significantly outperform mel-filterbanks on a large vocabulary task under clean recording conditions.


title: Two extensions of exact non-equilibrium steady states of a boundary driven cellular automaton

abstract: Recently Prosen and Mej\'ia-Monasterio (J. Phys. A: Math. Theor. 49 (2016) 185003) obtained exact nonequilibrium steady states of an integrable and reversible cellular automaton driven by some stochastic boundary conditions. In this paper, we explore the possible extensions of their method by generalizing the boundary conditions. As the result, we find two cases where such an extension is possible. One is the case where a special condition is satisfied in a generalized boundary condition. The other is obtained by considering a conserved quantity as energy and boundaries as heat reservoirs. The latter includes the original solution as the special case. Properties of the both solutions are discussed.


title: A Theory of Reversibility for Erlang

abstract: In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it has been used for testing and verification, among others. In this paper, we consider a subset of Erlang, a functional and concurrent programming language based on the actor model. We present a formal semantics for reversible computation in this language and prove its main properties, including its causal consistency. We also build on top of it a rollback operator that can be used to undo the actions of a process up to a given checkpoint.


title: Slopes of 3-dimensional Subshifts of Finite Type

abstract: In this paper we study the directions of periodicity of three-dimensional subshifts of finite type (SFTs) and in particular their slopes. A configuration of a subshift has a slope of periodicity if it is periodic in exactly one direction, the slope being the angle of the periodicity vectors. In this paper, we prove that any $\Sigma^0_2$ set may be realized as a a set of slopes of an SFT.


title: Constraining dark matter by the 511 keV line

abstract: In the past few decades, observations indicated that an unexplained high production rate of positrons (the strong 511 keV line) exists in the Milky Way center. By using the fact that a large amount of high density gas used to exist near the Milky Way center million years ago, we model the rate of positrons produced due to dark matter annihilation. We consider the effect of adiabatic contraction of dark matter density due to the supermassive black hole at the Milky Way center and perform a detailed calculation to constrain the possible annihilation channel and dark matter mass range. We find that only three annihilation channels ($\mu^+\mu^-$, $4e$ and $4 \mu$) can provide the required positron production rate and satisfy the stringent constraint of gamma-ray observations. In particular, the constrained mass range for the $\mu^+\mu^-$ channel is $m \approx 80-100$ GeV, which is close to the mass range obtained for the dark matter interpretation of the GeV gamma-ray and positron excess. In other words, the proposed scenario can simultaneously provide the required positron production rate to explain the 511 keV emission, the positron excess and the GeV gamma-ray excess in our Milky Way, and it is compatible with the density spike due to adiabatic growth model of the supermassive black hole.


title: Trend to equilibrium of renormalized solutions to reaction-cross-diffusion systems

abstract: The convergence to equilibrium of renormalized solutions to reaction-cross-diffusion systems in a bounded domain under no-flux boundary conditions is studied. The reactions model complex balanced chemical reaction networks coming from mass-action kinetics and thus do not obey any growth condition, while the diffusion matrix is of cross-diffusion type and hence nondiagonal and neither symmetric nor positive semi-definite, but the system admits a formal gradient-flow or entropy structure. The diffusion term generalizes the population model of Shigesada, Kawasaki and Teramoto to an arbitrary number of species. By showing that any renormalized solution satisfies the conservation of masses and a weak entropy-entropy production inequality, it can be proved under the assumption of no boundary equilibria that {\it all} renormalized solutions converge exponentially to the complex balanced equilibrium with a rate which is explicit up to a finite dimensional inequality.


title: Online Linear Quadratic Control

abstract: We study the problem of controlling linear time-invariant systems with known noisy dynamics and adversarially chosen quadratic losses. We present the first efficient online learning algorithms in this setting that guarantee $O(\sqrt{T})$ regret under mild assumptions, where $T$ is the time horizon. Our algorithms rely on a novel SDP relaxation for the steady-state distribution of the system. Crucially, and in contrast to previously proposed relaxations, the feasible solutions of our SDP all correspond to "strongly stable" policies that mix exponentially fast to a steady state.


title: Van der Waals epitaxy of two-dimensional single-layer h-BN on graphite by molecular beam epitaxy: Electronic properties and band structure

abstract: We report on the controlled growth of h-BN/graphite by means of molecular beam epitaxy (MBE). X-ray photoelectron spectroscopy (XPS) suggests an interface without any reaction or intermixing, while the angle resolved photoemission spectroscopy (ARPES) measurements show that the h-BN layers are epitaxially aligned with graphite. A well-defined band structure is revealed by ARPES measurement, reflecting the high quality of the h-BN films. The measured valence band maximum (VBM) located at 2.8 eV below the Fermi level reveals the presence of undoped h-BN films (band gap ~ 6 eV). These results demonstrate that, although only weak van der Waals interactions are present between h-BN and graphite, a long range ordering of h-BN can be obtained even on polycrystalline graphite via van der Waals epitaxy, offering the prospect of large area, single layer h-BN.


title: A study of the stability properties of Sagdeev solutions in the ion-acoustic regime using kinetic simulations

abstract: The Sagdeev pseudo-potential approach has been employed extensively in theoretical studies to determine large-amplitude (fully) nonlinear solutions in a variety of multi-species plasmas. Although these solutions are repeatedly considered as solitary waves (and even solitons), their temporal stability has never been proven. In this paper, a numerical study of the Vlasov-Poisson system is made to follow their temporal evolution in the presence of numerical noise and thereby test their long-time propagation stability. Considering the ion-acoustic regime, both constituents of the plasma, i.e. electrons and ions are treated following their distribution functions in these set of fully kinetic simulations. The findings reveal that the stability of Sagdeev solution depends on a combination of two parameters, i.e. velocity and trapping parameter. It is shown that there exists a critical value of trapping parameter for both fast and slow solutions which separates the stable from unstable solutions. In case of stable solutions, it is shown that these nonlinear structures can propagate for long periods, which confirms their status as solitary waves. Stable solutions are reported for both Maxwellian and Kappa distribution functions. For unstable solutions, it is demonstrated that the instability causes the Sagdeev solution to decay by emitting ion-acoustic wave-packets on its propagation trail. The instability is shown to take place in a large range of velocity and even for Sagdeev solutions with velocity much higher than ion sound speed. Besides, in order to validate our simulation code two precautionary measures are taken. Firstly, the well-known effect of the ion dynamics on a stationary electron hole solution is presented as a benchmarking test of the approach. Secondly, In order to verify the numerical accuracy of the simulations, the conservation of energy and entropy are presented.


title: Nivat's Conjecture and Pattern Complexity in Algebraic Subshifts

abstract: We study Nivat's conjecture on algebraic subshifts and prove that in some of them every low complexity configuration is periodic. This is the case in the Ledrappier subshift (the 3-dot system) and, more generally, in all two-dimensional algebraic subshifts over $\mathbb{F}_p$ defined by a polynomial without line polynomial factors in more than one direction. We also find an algebraic subshift that is defined by a product of two line polynomials that has this property (the 4-dot system) and another one that does not.


title: Improving brain computer interface performance by data augmentation with conditional Deep Convolutional Generative Adversarial Networks

abstract: One of the big restrictions in brain computer interface field is the very limited training samples, it is difficult to build a reliable and usable system with such limited data. Inspired by generative adversarial networks, we propose a conditional Deep Convolutional Generative Adversarial (cDCGAN) Networks method to generate more artificial EEG signal automatically for data augmentation to improve the performance of convolutional neural networks in brain computer interface field and overcome the small training dataset problems. We evaluate the proposed cDCGAN method on BCI competition dataset of motor imagery. The results show that the generated artificial EEG data from Gaussian noise can learn the features from raw EEG data and has no less than the classification accuracy of raw EEG data in the testing dataset. Also by using generated artificial data can effectively improve classification accuracy at the same model with limited training data.


title: Diffeomorphic brain shape modelling using Gauss-Newton optimisation

abstract: Shape modelling describes methods aimed at capturing the natural variability of shapes and commonly relies on probabilistic interpretations of dimensionality reduction techniques such as principal component analysis. Due to their computational complexity when dealing with dense deformation models such as diffeomorphisms, previous attempts have focused on explicitly reducing their dimension, diminishing de facto their flexibility and ability to model complex shapes such as brains. In this paper, we present a generative model of shape that allows the covariance structure of deformations to be captured without squashing their domain, resulting in better normalisation. An efficient inference scheme based on Gauss-Newton optimisation is used, which enables processing of 3D neuroimaging data. We trained this algorithm on segmented brains from the OASIS database, generating physiologically meaningful deformation trajectories. To prove the model's robustness, we applied it to unseen data, which resulted in equivalent fitting scores.


title: Modality Distillation with Multiple Stream Networks for Action Recognition

abstract: Diverse input data modalities can provide complementary cues for several tasks, usually leading to more robust algorithms and better performance. However, while a (training) dataset could be accurately designed to include a variety of sensory inputs, it is often the case that not all modalities could be available in real life (testing) scenarios, where a model has to be deployed. This raises the challenge of how to learn robust representations leveraging multimodal data in the training stage, while considering limitations at test time, such as noisy or missing modalities. This paper presents a new approach for multimodal video action recognition, developed within the unified frameworks of distillation and privileged information, named generalized distillation. Particularly, we consider the case of learning representations from depth and RGB videos, while relying on RGB data only at test time. We propose a new approach to train an hallucination network that learns to distill depth features through multiplicative connections of spatiotemporal representations, leveraging soft labels and hard labels, as well as distance between feature maps. We report state-of-the-art results on video action classification on the largest multimodal dataset available for this task, the NTU RGB+D. Code available at https://github.com/ncgarcia/modality-distillation .


title: Facing Multiple Attacks in Adversarial Patrolling Games with Alarmed Targets

abstract: We focus on adversarial patrolling games on arbitrary graphs, where the Defender can control a mobile resource, the targets are alarmed by an alarm system, and the Attacker can observe the actions of the mobile resource of the Defender and perform different attacks exploiting multiple resources. This scenario can be modeled as a zero-sum extensive-form game in which each player can play multiple times. The game tree is exponentially large both in the size of the graph and in the number of attacking resources. We show that when the number of the Attacker's resources is free, the problem of computing the equilibrium path is NP-hard, while when the number of resources is fixed, the equilibrium path can be computed in poly-time. We provide a dynamic-programming algorithm that, given the number of the Attacker's resources, computes the equilibrium path requiring poly-time in the size of the graph and exponential time in the number of the resources. Furthermore, since in real-world scenarios it is implausible that the Defender knows the number of attacking resources, we study the robustness of the Defender's strategy when she makes a wrong guess about that number. We show that even the error of just a single resource can lead to an arbitrary inefficiency, when the inefficiency is defined as the ratio of the Defender's utilities obtained with a wrong guess and a correct guess. However, a more suitable definition of inefficiency is given by the difference of the Defender's utilities: this way, we observe that the higher the error in the estimation, the higher the loss for the Defender. Then, we investigate the performance of online algorithms when no information about the Attacker's resources is available. Finally, we resort to randomized online algorithms showing that we can obtain a competitive factor that is twice better than the one that can be achieved by any deterministic online algorithm.


title: A Guided Tour to Normalized Volume

abstract: This is a survey on the recent theory on minimizing the normalized volume function attached to any klt singularities.


title: Two phase transitions in the two-dimensional nematic 3-vector model with no quasi long-range order: Monte Carlo simulation of the density of states

abstract: The presence of stable topological defects in a two-dimensional (\textit{d} = 2) liquid crystal model allowing molecular reorientations in three dimensions (\textit{n} = 3) was largely believed to induce defect-mediated Berzenskii-Kosterlitz-Thouless (BKT) type transition to a low temperature phase with quasi long-range order. However, earlier Monte Carlo (MC) simulations could not establish certain essential signatures of the transition, suggesting further investigations. We study this model by computing its equilibrium properties through MC simulations, based on the determination of the density of states of the system. Our results show that, on cooling, the high temperature disordered phase deviates from its initial progression towards the topological transition, crossing over to a new fixed point, condensing into a nematic phase with exponential correlations of its director fluctuations. The thermally induced topological kinetic processes continue, however limited to the length scales set by the nematic director fluctuations, and lead to a second topological transition at a lower temperature. We argue that in the (\textit{d} = 2, \textit{n} = 3) system with a biquadratic Hamiltonian, the presence of additional molecular degree of freedom and local $Z_{2}$ symmetry associated with lattice sites, together promote the onset of an additional relevant scaling field at matching length scales in the high temperature region, leading to a crossover.


title: Covariant and 3+1 Equations for Dynamo-Chiral General Relativistic Magnetohydrodynamics

abstract: The exponential amplification of initial seed magnetic fields in relativistic plasmas is a very important topic in astrophysics, from the conditions in the early Universe to the interior of neutron stars. While dynamo action in a turbulent plasma is often invoked, in the last years a novel mechanism of quantum origin has gained increasingly more attention, namely the Chiral Magnetic Effect (CME). This has been recognized in semi-metals and it is most likely at work in the quark-gluon plasma formed in heavy-ion collision experiments, where the highest magnetic fields in nature, up to B~10^18 G, are produced. This effect is expected to survive even at large hydrodynamical/MHD scales and it is based on the chiral anomaly due to an imbalance between left- and right-handed relativistic fermions in the constituent plasma. Such imbalance leads to an electric current parallel to an external magnetic field, which is precisely the same mechanism of an alpha-dynamo action in classical MHD. Here we extend the close parallelism between the chiral and the dynamo effects to relativistic plasmas and we propose a unified, fully covariant formulation of the generalized Ohm's law. Moreover, we derive for the first time the 3+1 general relativistic MHD equations for a chiral plasma both in flat and curved spacetimes, in view of numerical investigation of the CME in compact objects, especially magnetars, or of the interplay among the non-ideal magnetic effects of dynamo, the CME and reconnection.


title: ConFusion: Sensor Fusion for Complex Robotic Systems using Nonlinear Optimization

abstract: We present ConFusion, an open-source package for online sensor fusion for robotic applications. ConFusion is a modular framework for fusing measurements from many heterogeneous sensors within a moving horizon estimator. ConFusion offers greater flexibility in sensor fusion problem design than filtering-based systems and the ability to scale the online estimate quality with the available computing power. We demonstrate its performance in comparison to an iterated extended Kalman filter in visual-inertial tracking, and show its versatility through whole-body sensor fusion on a mobile manipulator.


title: Positioning Data-Rate Trade-off in mm-Wave Small Cells and Service Differentiation for 5G Networks

abstract: We analyze a millimeter wave network, deployed along the streets of a city, in terms of positioning and downlink data-rate performance, respectively. First, we present a transmission scheme where the base stations provide jointly positioning and data-communication functionalities. Accordingly, we study the trade-off between the localization and the data rate performance based on theoretical bounds. Then, we obtain an upper bound on the probability of beam misalignment based on the derived localization error bound. Finally, we prescribe the network operator a scheme to select the beamwidth and the power splitting factor between the localization and communication functions to address different quality of service requirements, while limiting cellular outage.


title: Using Machine Learning Methods to Forecast If Solar Flares Will Be Associated with CMEs and SEPs

abstract: Among the eruptive activity phenomena observed on the Sun, the most technology threatening ones are flares with associated coronal mass ejections (CMEs) and solar energetic particles (SEPs). Flares with associated CMEs and SEPs are produced by magnetohydrodynamical processes in magnetically active regions (ARs) on the Sun. However, these ARs do not only produce flares with associated CMEs and SEPs, they also lead to flares and CMEs, which are not associated with any other event. In an attempt to distinguish flares with associated CMEs and SEPs from flares and CMEs, which are unassociated with any other event, we investigate the performances of two machine learning algorithms. To achieve this objective, we employ support vector machines (SVMs) and multilayer perceptrons (MLPs) using data from the Space Weather Database of Notification, Knowledge, Information (DONKI) of NASA Space Weather Center, {\it the Geostationary Operational Environmental Satellite} ({\it GOES}), and the Space-Weather Heliospheric and Magnetic Imager Active Region Patches (SHARPs). We show that True Skill Statistics (TSS) and Heidke Skill Scores (HSS) calculated for SVMs are slightly better than those from the MLPs. We also show that the forecasting time frame of 96 hours provides the best results in predicting if a flare will be associated with CMEs and SEPs (TSS=0.92$\pm$0.09 and HSS=0.92$\pm$0.08). Additionally, we obtain the maximum TSS and HSS values of 0.91$\pm$0.06 for predicting that a flare will not be associated with CMEs and SEPs for the 36 hour forecast window, while the 108 hour forecast window give the maximum TSS and HSS values for predicting CMEs will not be accompanying any events (TSS=HSS=0.98$\pm$0.02).


title: Consequences of the CMR effect on EELS in TEM

abstract: Double perovskite oxides have gained in importance and exhibit negative magnetoresistance, which is known as colossal magnetoresistance (CMR) effect. Using a La$_2$CoMnO$_6$ (LCM) thin film we prove that the physical consequences of the CMR effect do also influence the electron energy loss spectrometry (EELS) signal. We observe a change of the band gap at low energy losses and are able to study the magnetisation with chemical sensitivity by employing energy loss magnetic chiral dichroism (EMCD) below the Curie temperature T$_C$ where the CMR effect becomes significant.


title: Infrared and Visible Image Fusion with ResNet and zero-phase component analysis

abstract: Feature extraction and processing tasks play a key role in Image Fusion, and the fusion performance is directly affected by the different features and processing methods undertaken. By contrast, most of deep learning-based methods use deep features directly without feature extraction or processing. This leads to the fusion performance degradation in some cases. To solve these drawbacks, we propose a deep features and zero-phase component analysis (ZCA) based novel fusion framework is this paper. Firstly, the residual network (ResNet) is used to extract deep features from source images. Then ZCA is utilized to normalize the deep features and obtain initial weight maps. The final weight maps are obtained by employing a soft-max operation in association with the initial weight maps. Finally, the fused image is reconstructed using a weighted-averaging strategy. Compared with the existing fusion methods, experimental results demonstrate that the proposed framework achieves better performance in both objective assessment and visual quality. The code of our fusion algorithm is available at https://github.com/hli1221/imagefusion_resnet50


title: A multiline study of a high-mass young stellar object in the Small Magellanic Cloud with ALMA: The detection of methanol gas at 0.2 solar metallicity

abstract: We report the results of subparsec-scale submillimeter observations towards an embedded high-mass young stellar object in the Small Magellanic Cloud (SMC) with ALMA. Complementary infrared data obtained with the AKARI satellite and the Gemini South telescope are also presented. The target infrared point source is spatially resolved into two dense molecular cloud cores; one is associated with a high-mass young stellar object (YSO core), while another is not associated with an infrared source (East core). The two cores are dynamically associated but show different chemical characteristics. Emission lines of CS, C33S, H2CS, SO, SO2, CH3OH, H13CO+, H13CN, SiO, and dust continuum are detected from the observed region. Tentative detection of HDS is also reported. The first detection of CH3OH in the SMC has a strong impact on our understanding of the formation of complex organic molecules in metal-poor environments. The gas temperature is estimated to be ~10 K based on the rotation analysis of CH3OH lines. The fractional abundance of CH3OH gas in the East core is estimated to be (0.5-1.5) x 10^(-8), which is comparable with or marginally higher than those of similar cold sources in our Galaxy despite a factor of five lower metallicity in the SMC. This work provides observational evidence that an organic molecule like CH3OH, which is largely formed on grain surfaces, can be produced even in a significantly lower metallicity environment compared to the solar neighborhood. A possible origin of cold CH3OH gas in the observed dense core is discussed.


title: Gradient flow approach to local mean-field spin systems

abstract: It is well-known that many diffusion equations can be recast as Wasserstein gradient flows. Moreover, in recent years, by modifying the Wasserstein distance appropriately, this technique has been transferred to further evolution equations and systems. In this paper we establish such a gradient flow representation for evolution equations that depend on a non-evolving parameter. These equations are connected to a local mean-field interacting spin system. We then use this gradient flow representation to prove a large deviation principle for the empirical process associated to this system. This is done by using a criterion that was established by Max Fathi in 2016. Finally, the corresponding hydrodynamic limit is shown by using an approach that was initiated by Sandier and Serfaty in 2004.


title: Cross-country comparisons of scientific performance by focusing on post-apartheid South Africa

abstract: This paper examines the scientific performance of South Africa since 1994 (post-apartheid) until 2014 in comparisons with the rest of the world, utilizing relative indicator. It provides a view over current standing of South Africa in the scientific world as well as its temporal evolution after the apartheid. This study focuses on four major aspects of scientific performance, namely quantity, productivity, impact and quality, as the main attributes of scientific perfomance on national level. These are measured by re-based (relative) publication, publication per population or GDP, citations and citations per publication respectively. The study focuses on scientific outputs (in the form of papers published in peer-reviewed journals) and their impact (measured by the citations they have received) to bring into a light a homogeneous comprehension of South Africa's scientific performance in all these four aspects. Indicators are adopted cautiously by considering the measures put forward recently for scientometrics indicators and their usage in the long-term comparisons studies. The temporal evolution of these indicators for South Africa are discussed in the context of three major groups of countries, namely African countries, developing countries, and developed (including BRICS) countries. It aims to examine the process of transition of South Africa from a developing world economy system into a knowledge-based and innovation-driven one of the developed world. The study reveals that South Africa has shown steady increase in its scientific performance during the studied period when compared to the rest of the world. However, due to the increasing competition from the other developing countries, South Africa's position stands the same during this period, while countries such as China, Iran, Turkey and Malaysia have shown great jump at least in the quantity of their scientific performance.


title: Cooperative Queuing Policies for Effective Human-Multi-Robot Interaction

abstract: We consider multi-robot applications, where a team of robots can ask for the intervention of a human operator to handle difficult situations. As the number of requests grows, team members will have to wait for the operator attention, hence the operator becomes a bottleneck for the system. Our aim in this context is to make the robots learn cooperative strategies to decrease the time spent waiting for the operator. In particular, we consider a queuing model where robots decide whether or not to join the queue and use multi-robot learning to estimate the best cooperative policy. In more detail, we formalize the problem as Decentralized Markov Decision Process and provide a suitable state representation, so to apply an independent learners approach. We evaluate the proposed method in a robotic water monitoring simulation and empirically show that our approach can significantly improve the team performance, while being computationally tractable.


title: FineTag: Multi-attribute Classification at Fine-grained Level in Images

abstract: In this paper, we address the extraction of the fine-grained attributes of an instance as a `multi-attribute classification' problem. To this end, we propose an end-to-end architecture by adopting the bi-linear Convolutional Neural Network with the pairwise ranking loss. This is the first time such architecture is applied for the fine-grained attributes classification problem. We compared the proposed method with a competitive deep Convolutional Neural Network baseline. Extensive experiments show that the proposed method attains/outperforms the performance of compared baseline with significantly less number of parameters ($40\times$ less). We demonstrated our approach on CUB200 birds dataset whose annotations are adapted in this work for multi-attribute classification at fine-grained level.


title: A generative model of realistic brain cells with application to numerical simulation of diffusion-weighted MR signal

abstract: In this work, we introduce a novel computational framework that we developed to use numerical simulations to investigate the complexity of brain tissue at a microscopic level with a detail never realised before. Directly inspired by the advances in computational neuroscience for modelling brain cells, we propose a generative model that enables us to simulate molecular diffusion within realistic digitalised brain cells, such as neurons and glia, in a completely controlled and flexible fashion. We validate our new approach by showing an excellent match between the morphology and simulated DW-MR signal of the generated digital model of brain cells and those of digital reconstruction of real brain cells from available open-access databases. We demonstrate the versatility and potentiality of the framework by showing a select set of examples of relevance for the DW-MR community. Further development is ongoing, which will support even more realistic conditions like dense packing of numerous 3D complex cell structures and varying cell surface permeability.

categories: physics.med-ph cs.CE physics.bio-ph physics.comp-ph


title: Time evolution of the quantum entanglement between $N$ qubits due to dynamical Lamb effect in the presence of dissipation

abstract: A theoretical framework to investigate the time evolution of the quantum entanglement due to the dynamical Lamb effect between $N$ superconducting qubits coupled to a coplanar waveguide in the presence of different sources of dissipation is developed. We quantitatively analyze the case of $N=2$ and $3$ qubits under the assumptions of single switching of the coupling and absence of dissipation within a perturbative approach. The same systems are analyzed for the general case of periodic switching of the coupling in the presence of dissipation via numerical calculations. Different measures of entanglement compatible with mixed states are adopted. It is demonstrated that the different measures show different level of details of the latter. The concurrence and the negativity are obtained in the two qubits case, the three-$\pi$ and the negativity in the three qubits case. It is shown that time-dependent Greenberger-Horne-Zeilinger states can be created even in presence of dissipation. To maximize the quantum entanglement between the qubits, the effects of tuning several parameters of the system are investigated.


title: The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic

abstract: Let $\mathrm{SO}^{\mathit{plog}}$ denote the restriction of second-order logic, where second-order quantification ranges over relations of size at most poly-logarithmic in the size of the structure. In this article we investigate the problem, which Turing machine complexity class is captured by Boolean queries over ordered relational structures that can be expressed in this logic. For this we define a hierarchy of fragments $\Sigma^{\mathit{plog}}_m$ (and $\Pi^{\mathit{plog}}_m$) defined by formulae with alternating blocks of existential and universal second-order quantifiers in quantifier-prenex normal form. We first show that the existential fragment $\Sigma^{\mathit{plog}}_1$ captures NPolyLogTime, i.e. the class of Boolean queries that can be accepted by a non-deterministic Turing machine with random access to the input in time $O((\log n)^k)$ for some $k \ge 0$. Using alternating Turing machines with random access input allows us to characterise also the fragments $\Sigma^{\mathit{plog}}_m$ (and $\Pi^{\mathit{plog}}_m$) as those Boolean queries with at most $m$ alternating blocks of second-order quantifiers that are accepted by an alternating Turing machine. Consequently, $\mathrm{SO}^{\mathit{plog}}$ captures the whole poly-logarithmic time hierarchy. We demonstrate the relevance of this logic and complexity class by several problems in database theory.


title: Multi-frequency observations and spectral analysis of two gigahertz-peaked spectra pulsars

abstract: We report the multi-frequency observations of two pulsars: J1740+1000 and B1800-21, using the Giant Metrewave Radio Telescope and the Green Bank Telescope. The main aim of these observations was to estimate the flux density spectrum of these pulsars, as both of them were previously reported to exhibit gigahertz-peaked spectra. J1740+1000 is a young pulsar far from the Galactic plane and the interpretation of its spectrum was inconclusive in the light of the recent flux density measurements. Our result supports the gigahertz-peaked interpretation of the PSR J1740+1000 spectrum. B1800-21 is a Vela-like pulsar near the W30 complex, whose spectrum exhibit a significant change between 2012 and 2014 year. Our analysis shows that the current shape of the spectrum is similar to that observed before 2009 and confirms that the observed spectral change happen in a time-scale of a few years.


title: Instance-Level Explanations for Fraud Detection: A Case Study

abstract: Fraud detection is a difficult problem that can benefit from predictive modeling. However, the verification of a prediction is challenging; for a single insurance policy, the model only provides a prediction score. We present a case study where we reflect on different instance-level model explanation techniques to aid a fraud detection team in their work. To this end, we designed two novel dashboards combining various state-of-the-art explanation techniques. These enable the domain expert to analyze and understand predictions, dramatically speeding up the process of filtering potential fraud cases. Finally, we discuss the lessons learned and outline open research issues.