title: An End-to-End Deep RL Framework for Task Arrangement in Crowdsourcing Platforms

abstract: In this paper, we propose a Deep Reinforcement Learning (RL) framework for task arrangement, which is a critical problem for the success of crowdsourcing platforms. Previous works conduct the personalized recommendation of tasks to workers via supervised learning methods. However, the majority of them only consider the benefit of either workers or requesters independently. In addition, they cannot handle the dynamic environment and may produce sub-optimal results. To address these issues, we utilize Deep Q-Network (DQN), an RL-based method combined with a neural network to estimate the expected long-term return of recommending a task. DQN inherently considers the immediate and future reward simultaneously and can be updated in real-time to deal with evolving data and dynamic changes. Furthermore, we design two DQNs that capture the benefit of both workers and requesters and maximize the profit of the platform. To learn value functions in DQN effectively, we also propose novel state representations, carefully design the computation of Q values, and predict transition probabilities and future states. Experiments on synthetic and real datasets demonstrate the superior performance of our framework.


title: Non-trivial $d$-wise Intersecting families

abstract: For an integer $d \geq 2$, a family $\mathcal{F}$ of sets is $\textit{$d$-wise intersecting}$ if for any distinct sets $A_1,A_2,\dots,A_d \in \mathcal{F}$, $A_1 \cap A_2 \cap \dots \cap A_d \neq \emptyset$, and $\textit{non-trivial}$ if $\bigcap \mathcal{F} = \emptyset$. Hilton and Milner conjectured that for $k \geq d \geq 2$ and large enough $n$, the extremal non-trivial $d$-wise intersecting family of $k$-element subsets of $[n]$ is one of the following two families: \begin{align*} &\mathcal{H}(k,d) = \{A \in \binom{[n]}{k} : [d-1] \subset A, A \cap [d,k+1] \neq \emptyset\} \cup \{[k+1] \setminus \{i \} : i \in [d - 1]\} \\ &\mathcal{A}(k,d) = \{ A \in \binom{[n]}{k} : |A \cap [d+1]| \geq d \}. \end{align*} The celebrated Hilton-Milner Theorem states that $\mathcal{H}(k,2)$ is the unique extremal non-trivial intersecting family for $k>3$. We prove the conjecture and prove a stability theorem, stating that any large enough non-trivial $d$-wise intersecting family of $k$-element subsets of $[n]$ is a subfamily of $\mathcal{A}(k,d)$ or $\mathcal{H}(k,d)$.


title: On Batch Bayesian Optimization

abstract: We present two algorithms for Bayesian optimization in the batch feedback setting, based on Gaussian process upper confidence bound and Thompson sampling approaches, along with frequentist regret guarantees and numerical results.


title: Ultra-wideband Reflection-type Metasurface for Generating Integer and Fractional Orbital Angular Momentum

abstract: Vortex beams carrying orbital angular momentum are extensively studied owing to its potential to expand channel capacity of microwave and optical communication. By utilizing the Pancharatnam-Berry phase concept, an ultra-wideband single layer metasurface is proposed to realize the conversion from incident plane waves to reflected vortex beams covering a considerable bandwidth from 6.75 to 21.85 GHz . An equivalent circuit model combined with broadband phase shift network is developed to effectively design the meta-atoms in metasurface. It is the first time to design wideband metasurfaces with the phase-based characteristics. To verify the proposed model, some deformed square loop meta-atoms are proposed to construct the metasurfaces with broadband OAM characteristic. Moreover, the vortex beams with the integer (l = -3), fractional (l = -1.5), and high-order (l = -10) OAM mode are generated respectively. Based on an OAM spectral analysis, the mode purity of the generated vortex waves is discussed in detail. The experimental results achieve a good agreement with those obtained from the simulation, thus proving the effectiveness and practicability of the proposed method.


title: Closed-loop electric currents and non-local resistance measurements with wide F/I/N tunnel contacts

abstract: Lateral spin valves are used to generate and characterize pure spin currents. Non-local voltage measured in such structures provides information about spin polarization and spin decay rates. For wide high-transparency F/N contacts it was shown that the Johnson-Silsbee non-local effect is substantially enriched by closed-loop electric currents driven by local spin injection in the electrically dangling part of the valve. For valves with low-transparency F/I/N tunnel contacts such circular currents are strongly suppressed, yet we show that the voltage modifications persist, may be significant, and must be accounted for in the data analysis.


title: Strong Coulomb interactions in the problem of Majorana modes in a wire of the nontrivial topological class BDI

abstract: In this study, the problem of strong Coulomb interactions in topological superconducting wire is analyzed by means of the density-matrix-renormalization-group (DMRG) approach. To analyze properties of edge states in the BDI-class structure a quantity called Majorana polarization is used. From its dependence on wire length and an entanglement-spectrum degeneracy topological phase diagrams are obtained. The DMRG calculations for the Shubin-Vonsovsky-type model of the wire show the transformation of phases with Majorana single and double modes (MSMs and MDMs, respectively) under the increase of on- and inter-site correlations. In particular, we demonstrate different scenarios including the possibilities of both induction and suppression of the MSMs and MDMs. It is shown that in the strongly correlated regime the contributions of single-particle excitations to the Majorana-type states significantly decrease at low magnetic fields. Moreover, the $t-J^{*}-V$-model is derived allowing to study the effective interactions and improve the DMRG numerics. It is found out that in the limiting case of the effective Hamiltonian with infinitely strong on-site repulsion, $t$-model, the topological phases are destroyed. Finally, the ways to probe the MSMs and MDMs via the features of caloric functions are discussed.


title: Signatures of low-dimensional magnetism and short-range magnetic order in Co-based trirutiles

abstract: Features of low dimensional magnetism resulting from a square-net arrangement of Co atoms in trirutile CoTa$_2$O$_6$ is studied in the present work by means of density functional theory and is compared with the experimental results of specific heat and neutron diffraction. The small total energy differences between the ferromagnetic (FM) and antiferromagnetic (AFM) configuration of CoTa$_2$O$_6$ shows that competing magnetic ground states exist, with the possibility of transition from FM to AFM phase at low temperature. Our calculation further suggests the semi-conducting behavior for CoTa$_2$O$_6$ with a band gap of $\sim$0.41 eV. The calculated magnetic anisotropy energy is $\sim$2.5 meV with its easy axis along the [100] (in-plane) direction. Studying the evolution of magnetism in Co$_{1-x}$Mg$_x$Ta$_2$O$_6$ (x = 0, 0.1, 0.3, 0.5, 0.7 and 1). it is found that the sharp AFM transition exhibited by CoTa$_2$O$_6$ at $T_N$ = 6.2 K in its heat capacity vanishes with Mg-dilution, indicating the obvious effect of weakening the superexchange pathways of Co. The current specific heat study reveals the robust nature of $T_N$ for CoTa$_2$O$_6$ in applied magnetic fields. Clear indication of short-range magnetism is obtained from the magnetic entropy, however, diffuse components are absent in neutron diffraction data. At $T_N$, CoTa$_2$O$_6$ enters a long-range ordered magnetic state which can be described using a propagation vector, (1/4, 1/4, 0). Upon Mg-dilution at $x \geq$0.1, the long-range ordered magnetism is destroyed. The present results should motivate an investigation of magnetic excitations in this low-dimensional anisotropic magnet.


title: On desingularization of steady vortex in the lake equations

abstract: We constructed a family of steady vortex solutions for the lake equations with general vorticity function, which constitute a desingularization of a singular vortex. The precise localization of the asymptotic singular vortex is shown to be the deepest position of the lake. We also study global nonlinear stability for these solutions. Some qualitative and asymptotic properties are also established.


title: Close-to-regularity and completely regularity of bounded tri-linear maps

abstract: Let $f:X\times Y\times Z\longrightarrow W $ be a bounded tri-linear map on normed spaces. We say that $f$ is close-to-regular when $f^{t****s}=f^{s****t}$ and we say that $f$ is completely regular when all natural extensions are equal. In this manuscript, we have some results on the close-to-regular maps and investigate the close-to-regularity of tri-linear maps. We investigate the relation between Arens regularity of bounded bilinear maps and close-to-regularity bounded tri-linear maps. We give a simple criterion for the completely regularity of tri-linear maps. We provide a necessary and sufficient condition such that the fourth adjoint $D^{****}$ of a tri-derivation is again a tri-derivation.


title: Negative Magnetic Diffusivity beta replacing alpha effect in Helical Dynamo

abstract: The alpha effect is known to be an indispensable energy source of the poloidal magnetic field in the sun or planet. However, the alpha effect is quenched as the magnetic field grows due to the conservation of magnetic helicity. With these conventional understanding, what indeed generates and sustains the observed poloidal magnetic field remains a mystery. To solve this contradiction between theory and real nature, we derived a semi-analytic representation of alpha and beta using large scale magnetic helicity and energy. Applying the simulation data to alpha and beta, we found that the negative beta effect is a promising substitution of the quenched alpha effect. However, since the negative beta effect contradicts the conventional dynamo theory, we derived the new beta expression referring to the field structure model. This analytic result with the field relation between velocity U and magnetic field B shows that the beta effect in the helical system is not a fixed one. Rather, it plays a variable and dynamic role in dynamo depending on the interaction between the poloidal velocity field and relative strength of the large scale magnetic field.


title: Online Debiasing for Adaptively Collected High-dimensional Data with Applications to Time Series Analysis

abstract: Adaptive collection of data is commonplace in applications throughout science and engineering. From the point of view of statistical inference however, adaptive data collection induces memory and correlation in the samples, and poses significant challenge. We consider the high-dimensional linear regression, where the samples are collected adaptively, and the sample size $n$ can be smaller than $p$, the number of covariates. In this setting, there are two distinct sources of bias: the first due to regularization imposed for consistent estimation, e.g. using the LASSO, and the second due to adaptivity in collecting the samples. We propose "online debiasing", a general procedure for estimators such as the LASSO, which addresses both sources of bias. In two concrete contexts $(i)$ time series analysis and $(ii)$ batched data collection, we demonstrate that online debiasing optimally debiases the LASSO estimate when the underlying parameter $\theta_0$ has sparsity of order $o(\sqrt{n}/\log p)$. In this regime, the debiased estimator can be used to compute $p$-values and confidence intervals of optimal size.


title: $K^-p$ Correlation Function from High-Energy Nuclear Collisions and Chiral SU(3) Dynamics

abstract: The two-particle momentum correlation function of a K^-p pair from high-energy nuclear collisions is evaluated in the KbarN-piSigma-piLambda coupled-channels framework. The effects of all coupled channels together with the Coulomb potential and the threshold energy difference between K^-p and Kbar0 n are treated completely for the first time. Realistic potentials based on the chiral SU(3) dynamics are used which fit the available scattering data. The recently measured correlation function is found to be well reproduced by allowing variations of the source size and the relative weight of the source function of piSigma with respect to that of KbarN. The predicted K^-p correlation function from larger systems, which is less affected by the piSigma source function, indicates that the investigation of its source size dependence is useful in providing further constraints in the study of the KbarN interaction.


title: A General Early-Stopping Module for Crowdsourced Ranking

abstract: Crowdsourcing can be used to determine a total order for an object set (e.g., the top-10 NBA players) based on crowd opinions. This ranking problem is often decomposed into a set of microtasks (e.g., pairwise comparisons). These microtasks are passed to a large number of workers and their answers are aggregated to infer the ranking. The number of microtasks depends on the budget allocated for the problem. Intuitively, the higher the number of microtask answers, the more accurate the ranking becomes. However, it is often hard to decide the budget required for an accurate ranking. We study how a ranking process can be terminated early, and yet achieve a high-quality ranking and great savings in the budget. We use statistical tools to estimate the quality of the ranking result at any stage of the crowdsourcing process and terminate the process as soon as the desired quality is achieved. Our proposed early-stopping module can be seamlessly integrated with most existing inference algorithms and task assignment methods. We conduct extensive experiments and show that our early-stopping module is better than other existing general stopping criteria. We also implement a prototype system to demonstrate the usability and effectiveness of our approach in practice.


title: Persistency of Excitation for Robustness of Neural Networks

abstract: When an online learning algorithm is used to estimate the unknown parameters of a model, the signals interacting with the parameter estimates should not decay too quickly for the optimal values to be discovered correctly. This requirement is referred to as persistency of excitation, and it arises in various contexts, such as optimization with stochastic gradient methods, exploration for multi-armed bandits, and adaptive control of dynamical systems. While training a neural network, the iterative optimization algorithm involved also creates an online learning problem, and consequently, correct estimation of the optimal parameters requires persistent excitation of the network weights. In this work, we analyze the dynamics of the gradient descent algorithm while training a two-layer neural network with two different loss functions, the squared-error loss and the cross-entropy loss; and we obtain conditions to guarantee persistent excitation of the network weights. We then show that these conditions are difficult to satisfy when a multi-layer network is trained for a classification task, for the signals in the intermediate layers of the network become low-dimensional during training and fail to remain persistently exciting. To provide a remedy, we delve into the classical regularization terms used for linear models, reinterpret them as a means to ensure persistent excitation of the model parameters, and propose an algorithm for neural networks by building an analogy. The results in this work shed some light on why adversarial examples have become a challenging problem for neural networks, why merely augmenting training data sets will not be an effective approach to address them, and why there may not exist a data-independent regularization term for neural networks, which involve only the model parameters but not the training data.


title: Creation of 2000-atom Greenberger-Horne-Zeilinger states by entanglement amplification

abstract: We propose a novel entanglement-creation scheme in a multi-atom ensemble, named entanglement amplification, which converts unentangled states into entangled states and amplifies less-entangled ones to maximally-entangled Greenberger-Horne-Zeilinger (GHZ) states. The scheme starts with a multi-atom ensemble initialized in a coherent spin state. By shifting the energy of a particular Dicke state, we break the Hilbert space of the ensemble into two isolated subspaces to tear the coherent spin state into two components so that entanglement is introduced. After that, we utilize the isolated subspaces to further enhance the entanglement by coherently separating the two components. By single-particle Rabi drivings on atoms in a high-finesse optical cavity illuminated by a single-frequency light, 2000-atom GHZ states can be created with a fidelity above 80% in an experimentally achievable system, making resources of ensembles at Heisenberg limit practically available for quantum metrology.


title: FCSR-GAN: Joint Face Completion and Super-resolution via Multi-task Learning

abstract: Combined variations containing low-resolution and occlusion often present in face images in the wild, e.g., under the scenario of video surveillance. While most of the existing face image recovery approaches can handle only one type of variation per model, in this work, we propose a deep generative adversarial network (FCSR-GAN) for performing joint face completion and face super-resolution via multi-task learning. The generator of FCSR-GAN aims to recover a high-resolution face image without occlusion given an input low-resolution face image with occlusion. The discriminator of FCSR-GAN uses a set of carefully designed losses (an adversarial loss, a perceptual loss, a pixel loss, a smooth loss, a style loss, and a face prior loss) to assure the high quality of the recovered high-resolution face images without occlusion. The whole network of FCSR-GAN can be trained end-to-end using our two-stage training strategy. Experimental results on the public-domain CelebA and Helen databases show that the proposed approach outperforms the state-of-the-art methods in jointly performing face super-resolution (up to 8 $\times$) and face completion, and shows good generalization ability in cross-database testing. Our FCSR-GAN is also useful for improving face identification performance when there are low-resolution and occlusion in face images.


title: A Crowdsourcing Framework for On-Device Federated Learning

abstract: Federated learning (FL) rests on the notion of training a global model in a decentralized manner. Under this setting, mobile devices perform computations on their local data before uploading the required updates to improve the global model. However, when the participating clients implement an uncoordinated computation strategy, the difficulty is to handle the communication efficiency (i.e., the number of communications per iteration) while exchanging the model parameters during aggregation. Therefore, a key challenge in FL is how users participate to build a high-quality global model with communication efficiency. We tackle this issue by formulating a utility maximization problem, and propose a novel crowdsourcing framework to leverage FL that considers the communication efficiency during parameters exchange. First, we show an incentive-based interaction between the crowdsourcing platform and the participating client's independent strategies for training a global learning model, where each side maximizes its own benefit. We formulate a two-stage Stackelberg game to analyze such scenario and find the game's equilibria. Second, we formalize an admission control scheme for participating clients to ensure a level of local accuracy. Simulated results demonstrate the efficacy of our proposed solution with up to 22% gain in the offered reward.


title: Absorption of $\omega$ and $\phi$ mesons in the inclusive photonuclear reaction

abstract: The $\omega$ and $\phi$ mesons dominantly decay outside the nucleus because the decay-lengths of them are much larger than the dimension of the nucleus. Therefore, the medium modification of the above mesons is studied through their absorption in the nucleus. CLAS collaboration at Jefferson Laboratory (Jlab) has investigated the absorption of the $\omega$ and $\phi$ mesons by measuring the nuclear transparency ratios for them in the $\gamma A \to \omega (\phi) X \to e^+e^-X$ reaction. The nuclear transparency ratios for both $\omega$ and $\phi$ mesons in the above reactions have been calculated, and those are compared with the experimental findings, reported from Jlab, to estimate the $\omega$ meson nucleon and $\phi$ meson nucleon cross sections in the nucleus.


title: Deep Heterogeneous Hashing for Face Video Retrieval

abstract: Retrieving videos of a particular person with face image as a query via hashing technique has many important applications. While face images are typically represented as vectors in Euclidean space, characterizing face videos with some robust set modeling techniques (e.g. covariance matrices as exploited in this study, which reside on Riemannian manifold), has recently shown appealing advantages. This hence results in a thorny heterogeneous spaces matching problem. Moreover, hashing with handcrafted features as done in many existing works is clearly inadequate to achieve desirable performance for this task. To address such problems, we present an end-to-end Deep Heterogeneous Hashing (DHH) method that integrates three stages including image feature learning, video modeling, and heterogeneous hashing in a single framework, to learn unified binary codes for both face images and videos. To tackle the key challenge of hashing on the manifold, a well-studied Riemannian kernel mapping is employed to project data (i.e. covariance matrices) into Euclidean space and thus enables to embed the two heterogeneous representations into a common Hamming space, where both intra-space discriminability and inter-space compatibility are considered. To perform network optimization, the gradient of the kernel mapping is innovatively derived via structured matrix backpropagation in a theoretically principled way. Experiments on three challenging datasets show that our method achieves quite competitive performance compared with existing hashing methods.


title: Eye Semantic Segmentation with a Lightweight Model

abstract: In this paper, we present a multi-class eye segmentation method that can run the hardware limitations for real-time inference. Our approach includes three major stages: get a grayscale image from the input, segment three distinct eye region with a deep network, and remove incorrect areas with heuristic filters. Our model based on the encoder decoder structure with the key is the depthwise convolution operation to reduce the computation cost. We experiment on OpenEDS, a large scale dataset of eye images captured by a head-mounted display with two synchronized eye facing cameras. We achieved the mean intersection over union (mIoU) of 94.85% with a model of size 0.4 megabytes. The source code are available https://github.com/th2l/Eye_VR_Segmentation


title: A scalar potential from gauge condensation and its implications

abstract: We consider a scalar field $\phi$ whose coupling to the kinetic term of a non-abelian gauge field is set at an UV scale $M$. Then the confinement of the gauge sector will induce a $\phi$-dependent vacuum energy which generates a dimensionful potential for the scalar. It provides a good example of dynamical generation of a new physics scale below $M$ through the vacuum expectation value $\langle \phi \rangle$. This mechanism may shed light on the origin of dark matter, or spontaneous symmetry breaking applicable to the electroweak symmetry.


title: Scene Text Recognition with Temporal Convolutional Encoder

abstract: Texts from scene images typically consist of several characters and exhibit a characteristic sequence structure. Existing methods capture the structure with the sequence-to-sequence models by an encoder to have the visual representations and then a decoder to translate the features into the label sequence. In this paper, we study text recognition framework by considering the long-term temporal dependencies in the encoder stage. We demonstrate that the proposed Temporal Convolutional Encoder with increased sequential extents improves the accuracy of text recognition. We also study the impact of different attention modules in convolutional blocks for learning accurate text representations. We conduct comparisons on seven datasets and the experiments demonstrate the effectiveness of our proposed approach.


title: Curiosities regarding waiting times in P\'{o}lya's urn model

abstract: Consider an urn initially containing $b$ black and $w$ white balls. Select a ball at random and observe its color. If it is black, stop. Otherwise, return the white ball together with another white ball to the urn. Continue selecting at random, each time adding a white ball, until a black ball is selected. Let $T_{b,w}$ denote the number of draws until this happens. Surprisingly, the expectation of $T_{b,w}$ is infinite for the "fair" initial scenario $b =w=1$, but finite if $b=2$ and $w=10^9$. In fact, $\mathbb{E}[T_{b,w}]$ is finite if and only if $b\ge 2$, and the variance of $T_{b,w}$ is finite if and only if $b \ge 3$, regardless of the number $w$ of white balls. These observations extend to higher moments.


title: Symmetries of Ordinary Differential Equations: A Short Introduction

abstract: These lecture notes provide an introduction to the theory and application of symmetry methods for ordinary differential equations, building on minimal prerequisites. Their primary purpose is to enable a quick and self-contained approach for non-specialists; they are not intended to replace any of the monographs on this topic. The content of the notes lies "transversal" to most standard texts, since we put emphasis on autonomous ODEs of first order, which often play a relatively minor role. Moreover, we avoid the technical build-up involving jet spaces and prolongations of group actions.


title: SoildNet: Soiling Degradation Detection in Autonomous Driving

abstract: In the field of autonomous driving, camera sensors are extremely prone to soiling because they are located outside of the car and interact with environmental sources of soiling such as rain drops, snow, dust, sand, mud and so on. This can lead to either partial or complete vision degradation. Hence detecting such decay in vision is very important for safety and overall to preserve the functionality of the "autonomous" components in autonomous driving. The contribution of this work involves: 1) Designing a Deep Convolutional Neural Network (DCNN) based baseline network, 2) Exploiting several network remodelling techniques such as employing static and dynamic group convolution, channel reordering to compress the baseline architecture and make it suitable for low power embedded systems with nearly 1 TOPS, 3) Comparing various result metrics of all interim networks dedicated for soiling degradation detection at tile level of size 64 x 64 on input resolution 1280 x 768. The compressed network, is called SoildNet (Sand, snOw, raIn/dIrt, oiL, Dust/muD) that uses only 9.72% trainable parameters of the base network and reduces the model size by more than 7 times with no loss in accuracy


title: On the Effectiveness of the Pooling Methods for Biomedical Relation Extraction with Deep Learning

abstract: Deep learning models have achieved state-of-the-art performances on many relation extraction datasets. A common element in these deep learning models involves the pooling mechanisms where a sequence of hidden vectors is aggregated to generate a single representation vector, serving as the features to perform prediction for RE. Unfortunately, the models in the literature tend to employ different strategies to perform pooling for RE, leading to the challenge to determine the best pooling mechanism for this problem, especially in the biomedical domain. In order to answer this question, in this work, we conduct a comprehensive study to evaluate the effectiveness of different pooling mechanisms for the deep learning models in biomedical RE. The experimental results suggest that dependency-based pooling is the best pooling strategy for RE in the biomedical domain, yielding the state-of-the-art performance on two benchmark datasets for this problem.


title: Gelation in coagulation and multiple fragmentation equation with a class of singular rates

abstract: In this paper, a partial integro-differential equation modeling of coagulation and multiple fragmentation events is studied. Our purpose is to investigate the global existence of gelling weak solutions to the continuous coagulation and multiple fragmentation equation for a certain class of coagulation rate, linear selection rate and breakage function. Here, the coagulation rate has singularity for small mass (size) and growing as polynomial function of mass for large particles whereas the breakage function attains singularity near the origin. Moreover, a weak fragmentation process is considered for large mass particles to prove this result. The gelation transition is also discussed separately for both Smoluchowski coagulation equation and combined form of coagulation and multiple fragmentation equation. Finally, the long time behavior of solutions of the coagulation and multiple fragmentation is demonstrated.


title: First characterization of Swift J1845.7-0037 with NuSTAR

abstract: The hard X-ray transient source Swift J1845.7-0037 was discovered in 2012 by Swift/BAT. However, at that time no dedicated observations of the source were performed. On Oct 2019 the source became active again, and X-ray pulsations with a period of ~199s were detected with Swift/XRT. This triggered follow-up observations with NuSTAR. Here we report on the timing and spectral analysis of the source properties using NuSTAR and Swift/XRT. The main goal was to confirm pulsations and search for possible cyclotron lines in the broadband spectrum of the source to probe its magnetic field. Despite highly significant pulsations with period of 207.379(2) were detected, no evidence for a cyclotron line was found in the spectrum of the source. We therefore discuss the strength of the magnetic field based on the source flux and the detection of the transition to the "cold-disc" accretion regime during the 2012 outburst. Our conclusion is that, most likely, the source is a highly magnetized neutron star with B 1e13G at a large distance of d~10 kpc. The latter one consistent with the non-detection of a cyclotron line in the NuSTAR energy band.


title: Explaining the Predictions of Any Image Classifier via Decision Trees

abstract: Despite outstanding contribution to the significant progress of Artificial Intelligence (AI), deep learning models remain mostly black boxes, which are extremely weak in explainability of the reasoning process and prediction results. Explainability is not only a gateway between AI and society but also a powerful tool to detect flaws in the model and biases in the data. Local Interpretable Model-agnostic Explanation (LIME) is a recent approach that uses an interpretable model to form a local explanation for the individual prediction result. The current implementation of LIME adopts the linear regression as its interpretable function. However, being so restricted and usually over-simplifying the relationships, linear models fail in situations where nonlinear associations and interactions exist among features and prediction results. This paper implements a decision Tree-based LIME approach, which uses a decision tree model to form an interpretable representation that is locally faithful to the original model. Tree-LIME approach can capture nonlinear interactions among features in the data and creates plausible explanations. Various experiments show that the Tree-LIME explanation of multiple black-box models can achieve more reliable performance in terms of understandability, fidelity, and efficiency.


title: A Spectral Nonlocal Block for Neural Networks

abstract: The nonlocal-based blocks are designed for capturing long-range spatial-temporal dependencies in computer vision tasks. Although having shown excellent performances, they lack the mechanism to encode the rich, structured information among elements in an image. In this paper, to theoretically analyze the property of these nonlocal-based blocks, we provide a unified approach to interpreting them, where we view them as a graph filter generated on a fully-connected graph. When the graph filter is approximated by Chebyshev polynomials, a generalized formulation can be derived for explaining the existing nonlocal-based blocks ($\mathit{e.g.,}$ nonlocal block, nonlocal stage, double attention block). Furthermore, we propose an efficient and robust spectral nonlocal block, which can be flexibly inserted into deep neural networks to catch the long-range dependencies between spatial pixels or temporal frames. Experimental results demonstrate the clear-cut improvements and practical applicabilities of the spectral nonlocal block on image classification (Cifar-10/100, ImageNet), fine-grained image classification (CUB-200), action recognition (UCF-101), and person re-identification (ILID-SVID, Mars, Prid-2011) tasks.


title: Temporal Action Localization using Long Short-Term Dependency

abstract: Temporal action localization in untrimmed videos is an important but difficult task. Difficulties are encountered in the application of existing methods when modeling temporal structures of videos. In the present study, we developed a novel method, referred to as Gemini Network, for effective modeling of temporal structures and achieving high-performance temporal action localization. The significant improvements afforded by the proposed method are attributable to three major factors. First, the developed network utilizes two subnets for effective modeling of temporal structures. Second, three parallel feature extraction pipelines are used to prevent interference between the extractions of different stage features. Third, the proposed method utilizes auxiliary supervision, with the auxiliary classifier losses affording additional constraints for improving the modeling capability of the network. As a demonstration of its effectiveness, the Gemini Network was used to achieve state-of-the-art temporal action localization performance on two challenging datasets, namely, THUMOS14 and ActivityNet.


title: The $d$-Majorization Polytope

abstract: We investigate geometric and topological properties of $d$-majorization -- a generalization of classical majorization to positive weight vectors $d \in \mathbb{R}^n$. In particular, we derive a new, simplified characterization of $d$-majorization which allows us to work out a halfspace description of the corresponding $d$-majorization polytopes. That is, we write the set of all vectors which are $d$-majorized by some given vector $y \in \mathbb{R}^n$ as an intersection of finitely many half spaces, i.e. as solutions to an inequality of the type $Mx\leq b$. Here $b$ depends on $y$ while $M$ can be chosen independently of $y$. This description lets us prove continuity of the $d$-majorization polytope (jointly with respect to $d$ and $y$) and, furthermore, lets us fully characterize its extreme points. Interestingly, for $y\geq 0$ one of these extreme points classically majorizes every other element of the $d$-majorization polytope. Moreover, we show that the induced preorder structure on $\mathbb{R}^n$ admits minimal and maximal elements. While the former are always unique the latter are unique if and only if they correspond to the unique minimal entry of the $d$-vector.


title: PGU-net+: Progressive Growing of U-net+ for Automated Cervical Nuclei Segmentation

abstract: Automated cervical nucleus segmentation based on deep learning can effectively improve the quantitative analysis of cervical cancer. However, accurate nuclei segmentation is still challenging. The classic U-net has not achieved satisfactory results on this task, because it mixes the information of different scales that affect each other, which limits the segmentation accuracy of the model. To solve this problem, we propose a progressive growing U-net (PGU-net+) model, which uses two paradigms to extract image features at different scales in a more independent way. First, we add residual modules between different scales of U-net, which enforces the model to learn the approximate shape of the annotation in the coarser scale, and to learn the residual between the annotation and the approximate shape in the finer scale. Second, we start to train the model with the coarsest part and then progressively add finer part to the training until the full model is included. When we train a finer part, we will reduce the learning rate of the previous coarser part, which further ensures that the model independently extracts information from different scales. We conduct several comparative experiments on the Herlev dataset. The experimental results show that the PGU-net+ has superior accuracy than the previous state-of-the-art methods on cervical nuclei segmentation.


title: Integrated guidance and control framework for the waypoint navigation of a miniature aircraft with highly coupled longitudinal and lateral dynamics

abstract: A solution to the waypoint navigation problem for fixed wing micro air vehicles (MAV) is addressed in this paper, in the framework of integrated guidance and control (IGC). IGC yields a single step solution to the waypoint navigation problem, unlike conventional multiple loop design. The pure proportional navigation (PPN) guidance law is integrated with the MAV dynamics. A multivariable static output feedback (SOF) controller is designed for the linear state space model formulated in the IGC framework. The waypoint navigation algorithm handles the minimum turn radius constraint of the MAV. The algorithm also evaluates the feasibility of reaching a waypoint. Extensive non-linear simulations are performed on high fidelity 150 mm wingspan MAV model to demonstrate the potential advantages of the proposed waypoint navigation algorithm.


title: Enabling Enterprise Blockchain Interoperability with Trusted Data Transfer (industry track)

abstract: The adoption of permissioned blockchain networks in enterprise settings has seen an increase in growth over the past few years. While encouraging, this is leading to the emergence of new data, asset and process silos limiting the potential value these networks bring to the broader ecosystem. Mechanisms for enabling network interoperability help preserve the benefits of independent sovereign networks, while allowing for the transfer or sharing of data, assets and processes across network boundaries. However, a naive approach to interoperability based on traditional point-to-point integration is insufficient for preserving the underlying trust decentralized networks provide. In this paper, we lay the foundation for an approach to interoperability based on a communication protocol that derives trust from the underlying network consensus protocol. We present an architecture and a set of building blocks that can be adapted for use in a range of network implementations and demonstrate a proof-of-concept for trusted data-sharing between two independent trade finance and supply-chain networks, each running on Hyperledger Fabric. We show how existing blockchain deployments can be adapted for interoperation and discuss the security and extensibility of our architecture and mechanisms.


title: Modeling and estimation of multivariate discrete and continuous time stationary processes

abstract: In this paper, we give a AR$(1)$ type of characterization covering all multivariate strictly stationary processes indexed by the set of integers. Consequently, we derive continuous time algebraic Riccati equations for the parameter matrix of the characterization providing us with a natural way to define the corresponding estimator under the assumption of square integrability. In addition, we show that the estimator inherits consistency from autocovariances of the stationary process and furthermore, the limiting distribution is given by a linear function of the limiting distribution of the autocovariances. We also present the corresponding existing results of the continuous time setting paralleling them to the discrete case.


title: Investigating a unique partial eclipse in the High Mass X-ray Binary IGR J16393-4643 with Swift-XRT

abstract: The orbital profile of the High Mass X-ray binary IGR J16393-4643 shows a dip in its X-ray intensity, which was previously interpreted as an eclipse. Unlike most eclipsing HMXBs, where the X-ray eclipses are about two orders of magnitude fainter compared to the out of eclipse emission, this particular eclipse like feature is narrow and partial, casting doubt if it is indeed an eclipse. To further investigate the nature of this low intensity orbital phase, we use a large number of observations with Swift-XRT, covering the entire orbital phase. The soft X-ray observations also show this low intensity phase, which is about 30% of the intensity during rest of the orbit. We also carried out orbital phase resolved spectroscopy to compare the change in the spectral parameters inside and outside of this low intensity state. The results indicate that this low intensity state might not be an eclipse, as previously thought but absorption in the stellar corona. We have also provided the inclination angle of the binary for grazing eclipse caused by the stellar corona.


title: Blind Network Revenue Management and Bandits with Knapsacks under Limited Switches

abstract: Our work is motivated by a common business constraint in online markets. While firms respect the advantages of dynamic pricing and price experimentation, they must limit the number of price changes (i.e., switches) to be within some budget due to various practical reasons. We study both the classical price-based network revenue management problem in the distributionally-unknown setup, and the bandits with knapsacks problem. In these problems, a decision-maker (without prior knowledge of the environment) has finite initial inventory of multiple resources to allocate over a finite time horizon. Beyond the classical resource constraints, we introduce an additional switching constraint to these problems, which restricts the total number of times that the decision-maker makes switches between actions to be within a fixed switching budget. For such problems, we show matching upper and lower bounds on the optimal regret, and propose computationally-efficient limited-switch algorithms that achieve the optimal regret. Our work reveals a surprising result: the optimal regret rate is completely characterized by a piecewise-constant function of the switching budget, which further depends on the number of resource constraints -- to the best of our knowledge, this is the first time the number of resources constraints is shown to play a fundamental role in determining the statistical complexity of online learning problems. We conduct computational experiments to examine the performance of our algorithms on a numerical setup that is widely used in the literature. Compared with benchmark algorithms from the literature, our proposed algorithms achieve promising performance with clear advantages on the number of incurred switches. Practically, firms can benefit from our study and improve their learning and decision-making performance when they simultaneously face resource and switching constraints.


title: Interferometric measurement of Van Hove singularities in strained graphene

abstract: This study presents a method based on the total internal reflection and the phase-shifting interferometry for measuring the Van Hove singularities in strained graphene. A linearly polarized light passes through some quarter- and half-wave plates, a hemi-cylindrical prism, and a Mach-Zehnder interferometer. The Van Hove singularities manifest themselves as some sharp dips or peaks in the spectrum of the final phase difference of the two interference signals. The numerical analysis demonstrates that the number of Van Hove singularities is independent of the modulus of the applied stress, but their position shifts as the strength of the tension increases. Besides, the number and location of singularities strongly depend on the stress direction relative to the zigzag axis in the graphene lattice. Moreover, we show that the location of singularities is independent of the tension direction relative to the tangential component of the electric field of the incident radiation.


title: Topological Gaseous Plasmon Polariton in Realistic Plasma

abstract: Nontrivial topology in bulk matter has been linked with the existence of topologically protected interfacial states. We show that a gaseous plasmon polariton (GPP), an electromagnetic surface wave existing at the boundary of magnetized plasma and vacuum, has a topological origin that arises from the nontrivial topology of magnetized plasma. Because a gaseous plasma cannot sustain a sharp interface with discontinuous density, one must consider a gradual density falloff with scale length comparable or longer than the wavelength of the wave. We show that the GPP may be found within a gapped spectrum in present-day laboratory devices, suggesting that platforms are currently available for experimental investigation of topological wave physics in plasmas.


title: Reactive energy in non-diffracting localized waves

abstract: It is well known that although the group velocity of structured light pulses propagating in vacuum can be subluminal or superluminal, the upper limit of the energy flow velocity is c, the speed of light in vacuum. This inequality can be explained in terms of the reactive energy left behind by the fields. Energy and reactive energy densities have been calculated for vector-valued two-dimensional (light sheet) superluminal electromagnetic nondiffractive pulses, as well as scalar-valued and TM three-dimensional superluminal and subluminal spatiotemporally localized electromagnetic waves. Emphasis is placed on the physical formation of the reactive energy due to interference of the plane-wave constituents of the structured light waves.


title: Supervised level-wise pretraining for recurrent neural network initialization in multi-class classification

abstract: Recurrent Neural Networks (RNNs) can be seriously impacted by the initial parameters assignment, which may result in poor generalization performances on new unseen data. With the objective to tackle this crucial issue, in the context of RNN based classification, we propose a new supervised layer-wise pretraining strategy to initialize network parameters. The proposed approach leverages a data-aware strategy that sets up a taxonomy of classification problems automatically derived by the model behavior. To the best of our knowledge, despite the great interest in RNN-based classification, this is the first data-aware strategy dealing with the initialization of such models. The proposed strategy has been tested on four benchmarks coming from two different domains, i.e., Speech Recognition and Remote Sensing. Results underline the significance of our approach and point out that data-aware strategies positively support the initialization of Recurrent Neural Network based classification models.


title: Wearable Affective Life-Log System for Understanding Emotion Dynamics in Daily Life

abstract: Past research on recognizing human affect has made use of a variety of physiological sensors in many ways. Nonetheless, how affective dynamics are influenced in the context of human daily life has not yet been explored. In this work, we present a wearable affective life-log system (ALIS), that is robust as well as easy to use in daily life to detect emotional changes and determine their cause-and-effect relationship on users' lives. The proposed system records how a user feels in certain situations during long-term activities with physiological sensors. Based on the long-term monitoring, the system analyzes how the contexts of the user's life affect his/her emotion changes. Furthermore, real-world experimental results demonstrate that the proposed wearable life-log system enables us to build causal structures to find effective stress relievers suited to every stressful situation in school life.


title: The survival of start-ups in time of crisis. A machine learning approach to measure innovation

abstract: This paper shows how data science can contribute to improving empirical research in economics by leveraging on large datasets and extracting information otherwise unsuitable for a traditional econometric approach. As a test-bed for our framework, machine learning algorithms allow us to create a new holistic measure of innovation built on a 2012 Italian Law aimed at boosting new high-tech firms. We adopt this measure to analyse the impact of innovativeness on a large population of Italian firms which entered the market at the beginning of the 2008 global crisis. The methodological contribution is organised in different steps. First, we train seven supervised learning algorithms to recognise innovative firms on 2013 firmographics data and select a combination of those with best predicting power. Second, we apply the former on the 2008 dataset and predict which firms would have been labelled as innovative according to the definition of the law. Finally, we adopt this new indicator as regressor in a survival model to explain firms' ability to remain in the market after 2008. Results suggest that the group of innovative firms are more likely to survive than the rest of the sample, but the survival premium is likely to depend on location.


title: An Exponential Lower Bound for Zadeh's pivot rule

abstract: The question whether the Simplex Algorithm admits an efficient pivot rule remains one of the most important open questions in discrete optimization. While many natural, deterministic pivot rules are known to yield exponential running times, the random-facet rule was shown to have a subexponential running time. For a long time, Zadeh's rule remained the most prominent candidate for the first deterministic pivot rule with subexponential running time. We present a lower bound construction that shows that Zadeh's rule is in fact exponential in the worst case. Our construction is based on a close relation to the Strategy Improvement Algorithm for Parity Games and the Policy Iteration Algorithm for Markov Decision Processes, and we also obtain exponential lower bounds for Zadeh's rule in these contexts.


title: Adapting a Container Infrastructure for Autonomous Vehicle Development

abstract: In the field of Autonomous Vehicle (AV) development, having a robust yet flexible infrastructure enables code to be continuously integrated and deployed, which in turn accelerates the rapid prototyping process. The platform-agnostic and scalable container infrastructure, often exploited by developers in the cloud domain, presents a viable solution addressing this need in AV development. Developers use tools such as Docker to build containers and Kubernetes to setup container networks. This paper presents a container infrastructure strategy for AV development, discusses the scenarios in which this strategy is useful and performs an analysis on container boundary overhead, and its impact on a Mix Critical System (MCS). An experiment was conducted to compare both operation runtime and communication delay of running a Gaussian Seidel Algorithm with I/O in four different environments: native OS, new container, existing container, and nested container. The comparison reveals that running in containers indeed adds a delay to signal response time, but behaves more deterministically and that nested container does not stack up delays but makes the process less deterministic. With these concerns in mind, the developers may be more informed when setting up the container infrastructure, and take full advantage of the new infrastructure while avoiding some common pitfalls.


title: Interpolating the Derivatives of the Gamma Function

abstract: We consider a function $G(\lambda, z)$, entire in $\lambda$, which interpolates the derivatives of the Gamma function in the sense that $G(m, z) = \Gamma^{(m)}(z)$ for any integer $m \geq 0$ and we calculate the asymptotics of $G(\lambda, z)$ as $\lambda \to +\infty$.


title: Inferring Lower Runtime Bounds for Integer Programs

abstract: We present a technique to infer lower bounds on the worst-case runtime complexity of integer programs, where in contrast to earlier work, our approach is not restricted to tail-recursion. Our technique constructs symbolic representations of program executions using a framework for iterative, under-approximating program simplification. The core of this simplification is a method for (under-approximating) program acceleration based on recurrence solving and a variation of ranking functions. Afterwards, we deduce asymptotic lower bounds from the resulting simplified programs using a special-purpose calculus and an SMT encoding. We implemented our technique in our tool LoAT and show that it infers non-trivial lower bounds for a large class of examples.


title: Analytical expressions of non-relativistic static polarizabilities for hydrogen-like ions

abstract: In this work, analytical formulas for the static multipole polarizabilities of hydrogen-like ions are derived by using the analytical wave functions and the reduced Green function and by applying a numerical fitting procedure. Our results are then applied to the studies of blackbody radiation shifts to atomic energy levels at different temperatures. Our analytical results can be served as a benchmark for other theoretical methods.


title: Gamma-ray and X-ray constraints on non-thermal processes in $\eta$ Carinae

abstract: The binary system $\eta$ Carinae is a unique laboratory in which to study particle acceleration to high energies under a wide range of conditions, including extremely high densities around periastron. To date, no consensus has emerged as to the origin of the GeV $\gamma$-ray emission in this important system. With a re-analysis of the full Fermi-LAT dataset for $\eta$ Carinae we show that the spectrum is consistent with a pion decay origin. A single population leptonic model connecting the X-ray to $\gamma$-ray emission can be ruled out. Here, we revisit the physical model of Ohm et al. (2015), based on two acceleration zones associated to the termination shocks in the winds of both stars. We conclude that inverse-Compton emission from in-situ accelerated electrons dominates the hard X-ray emission detected with NuSTAR at all phases away from periastron, and pion-decay from shock accelerated protons is the source of the $\gamma$-ray emission. Very close to periastron there is a pronounced dip in the hard X-ray emission, concomitant with the repeated disappearance of the thermal X-ray emission, which we interpret as being due to the suppression of significant electron acceleration in the system. Within our model, the residual emission seen by NuSTAR at this phase can be accounted for with secondary electrons produced in interactions of accelerated protons, in agreement with the variation in pion-decay $\gamma$-ray emission. Future observations with H.E.S.S., CTA and NuSTAR should confirm or refute this scenario.


title: Enhanced upper critical field in Co-doped Ba122 superconductors by lattice defect tuning

abstract: Nanoscale defects in superconductors play a dominant role in enhancing superconducting properties through electron scattering, modulation of coherence length, and correlation with quantized magnetic flux. For iron-based superconductors (IBSCs) that are expected to be employed in high-field magnetic applications, a fundamental question is whether such defects develop an upper critical field (Hc2) similar to that of conventional BCS-type superconductors. Herein, we report the first demonstration of a significantly improved Hc2 in a 122-phase IBSC by introducing defects through high-energy milling. Co-doped Ba122 polycrystalline bulk samples (Ba(Fe,Co)2As2) were prepared by sintering powder which was partially mechanically alloyed through high-energy milling. A remarkable increase in full-width at half maximum of X-ray powder diffraction peaks, anomalous shrinkage in the a-axis, and elongation in the c-axis were observed. When lattice defects are introduced into the grains, semiconductor behavior of the electric resistivity at low temperature (T < 100 K), slight decrease in transition temperature (Tc), upturn of Hc2(T) near Tc, and a large increase in Hc2(T) slope were observed. The slope of Hc2(T) increased approximately by 50%, i.e., from 4 to 6 T/K, and exceeded that of single crystals and thin films. Defect engineering through high-energy milling is expected to facilitate new methods for the designing and tuning of Hc2 in 122-phase IBSCs.


title: Quantile regression: a penalization approach

abstract: Sparse group LASSO (SGL) is a penalization technique used in regression problems where the covariates have a natural grouped structure and provides solutions that are both between and within group sparse. In this paper the SGL is introduced to the quantile regression (QR) framework, and a more flexible version, the adaptive sparse group LASSO (ASGL), is proposed. This proposal adds weights to the penalization improving prediction accuracy. Usually, adaptive weights are taken as a function of the original nonpenalized solution model. This approach is only feasible in the n > p framework. In this work, a solution that allows using adaptive weights in high-dimensional scenarios is proposed. The benefits of this proposal are studied both in synthetic and real datasets.


title: Technical Report: Co-learning of geometry and semantics for online 3D mapping

abstract: This paper is a technical report about our submission for the ECCV 2018 3DRMS Workshop Challenge on Semantic 3D Reconstruction \cite{Tylecek2018rms}. In this paper, we address 3D semantic reconstruction for autonomous navigation using co-learning of depth map and semantic segmentation. The core of our pipeline is a deep multi-task neural network which tightly refines depth and also produces accurate semantic segmentation maps. Its inputs are an image and a raw depth map produced from a pair of images by standard stereo vision. The resulting semantic 3D point clouds are then merged in order to create a consistent 3D mesh, in turn used to produce dense semantic 3D reconstruction maps. The performances of each step of the proposed method are evaluated on the dataset and multiple tasks of the 3DRMS Challenge, and repeatedly surpass state-of-the-art approaches.


title: Fusion of labeled RFS densities with minimum information loss

abstract: This paper addresses fusion of labeled random finite set (LRFS) densities according to the criterion of minimum information loss (MIL). The MIL criterion amounts to minimizing the (weighted) sum of Kullback-Leibler divergences (KLDs) with the fused density appearing as righthand argument of the KLDs. In order to ensure the fused density to be consistent with the local ones when LRFS densities are marginal $\delta$-generalized labeled multi-Bernoulli (M$\delta$-GLMB) or labeled multi-Bernoulli (LMB) densities, the MIL rule is further elaborated by imposing the constraint that the fused density be in the same family of local ones. In order to deal with different fields-of-view (FoVs) of the local densities, the global label space is divided into disjoint subspaces which represent the exclusive FoVs and the common FoV of the agents, and each local density is decomposed into the sub-densities defined in the corresponding subspaces. Then fusion is performed subspace-by-subspace to combine local subdensities into global ones, and the global density is obtained by multiplying the global sub-densities. Further, in order to tackle the label mismatching issue arising in practical applications, a rank assignment optimization (RAO) of a suitably defined cost is carried out so as to match labels from different agents. Moreover, issues concerning implementation of the MIL rule and its application to distributed multitarget tracking (DMT) are discussed. Finally, the performance of the proposed fusion approach is assessed via simulation experiments considering DMT with either the same or different FoVs of the agents.


title: Box/peanut-shaped bulges in action space

abstract: We introduce the study of box/peanut (B/P) bulges in the action space of the initial axisymmetric system. We explore where populations with different actions end up once a bar forms and a B/P bulge develops. We find that the density bimodality due to the B/P bulge (the X-shape) is better traced by populations with low radial, JR,0, or vertical, Jz,0, actions, or high azimuthal action, J{\phi},0. Generally populations separated by JR,0 have a greater variation in bar strength and vertical heating than those separated by Jz,0. While the bar substantially weakens the initial vertical gradient of Jz,0, it also drives a strikingly monotonic vertical profile of JR,0. We then use these results to guide us in assigning metallicity to star particles in a pure N-body model. Because stellar metallicity in unbarred galaxies depends on age as well as radial and vertical positions, the initial actions are particularly well suited for assigning metallicities. We argue that assigning metallicities based on single actions, or on positions, results in metallicity distributions inconsistent with those observed in real galaxies. We therefore use all three actions to assign metallicity to an N-body model by comparing with the actions of a star-forming, unbarred simulation. The resulting metallicity distribution is pinched on the vertical axis, has a realistic vertical gradient and has a stronger X-shape in metal-rich populations, as found in real galaxies.


title: The Involutive Quantaloid of Completely Distributive Lattices

abstract: Let L be a complete lattice and let Q(L) be the unital quantale of join-continuous endo-functions of L. We prove the following result: Q(L) is an involutive (that is, non-commutative cyclic $\star$-autonomous) quantale if and only if L is a completely distributive lattice. If this is the case, then the dual tensor operation corresponds, via Raney's transforms, to composition in the (dual) quantale of meet-continuous endo-functions of L. Let sLatt be the category of sup-lattices and join-continuous functions and let cdLatt be the full subcategory of sLatt whose objects are the completely distributive lattices. We argue that (i) cdLatt is itself an involutive quantaloid, and therefore it is the largest full-subcategory of sLatt with this property; (ii) cdLatt is closed under the monoidal operations of sLatt and, consequently, if Q(L) is involutive, then Q(L) is completely distributive as well.


title: Evolving Structures in Complex Systems

abstract: In this paper we propose an approach for measuring growth of complexity of emerging patterns in complex systems such as cellular automata. We discuss several ways how a metric for measuring the complexity growth can be defined. This includes approaches based on compression algorithms and artificial neural networks. We believe such a metric can be useful for designing systems that could exhibit open-ended evolution, which itself might be a prerequisite for development of general artificial intelligence. We conduct experiments on 1D and 2D grid worlds and demonstrate that using the proposed metric we can automatically construct computational models with emerging properties similar to those found in the Conway's Game of Life, as well as many other emergent phenomena. Interestingly, some of the patterns we observe resemble forms of artificial life. Our metric of structural complexity growth can be applied to a wide range of complex systems, as it is not limited to cellular automata.


title: Frobenius' theta function and Arakelov invariants in genus three

abstract: We give explicit formulas for the Kawazumi-Zhang invariant and Faltings delta-invariant of a compact and connected Riemann surface of genus three. The formulas are in terms of two integrals over the associated jacobian, one integral involving the standard Riemann theta function, and another involving a theta function particular to genus three that was discovered by Frobenius. We review part of Frobenius' work on his theta function and connect our results with a formula due to Bloch, Hain and Bost describing the archimedean height pairing of Ceresa cycles in genus three.


title: $C^\infty$-algebraic geometry with corners

abstract: If $X$ is a manifold then the set $C^\infty(X)$ of smooth functions $f:X\to\mathbb R$ is a $C^\infty$-ring, a rich algebraic structure with many operations. $C^\infty$-schemes are schemes over $C^\infty$-rings, a way of using Algebro-Geometric techniques in Differential Geometry. They include smooth manifolds, but also many singular and infinite-dimensional spaces. They have applications to Synthetic Differential Geometry, and to derived manifolds. In this book, a sequel to the second author's monograph on $C^\infty$-algebraic geometry arXiv:1001.0023, we define and study new categories of $C^\infty$-rings with corners and $C^\infty$-schemes with corners, which generalize manifolds with corners in the same way that $C^\infty$-rings and $C^\infty$-schemes generalize manifolds. These will be used in future work as the foundations of theories of derived manifolds and derived orbifolds with corners. This book is based on the PhD thesis of the first author, supervised by the second author.


title: DGAs with polynomial homology

abstract: In this work, we study the classification of differential graded algebras over $\mathbb{Z}$ (DGAs) whose homology is $\mathbb{F}_p[x]$, i.e. the polynomial algebra over $\mathbb{F}_p$ on a single generator. This classification problem was left open in work of Dwyer, Greenlees and Iyengar. For $\lvert y_{2p-2} \rvert = 2p-2$, we show that there is a unique non-formal DGA with homology $\mathbb{F}_p[y_{2p-2}]$ and a non-formal $2p-2$ Postnikov section. Among a classification result, this provides the first example of a non-formal DGA with homology $\mathbb{F}_p[x]$. By duality, this also shows that there is a non-formal DGA whose homology is an exterior algebra over $\mathbb{F}_p$ with a generator in degree $-(2p-1)$. Considering the classification of the ring spectra corresponding to these DGAs, we show that every $E_2$ DGA with homology $\mathbb{F}_p[x]$ (with no restrictions on $\lvert x \rvert$) is topologically equivalent to the formal DGA with homology $\mathbb{F}_p[x]$, i.e. they are topologically formal. This follows by a theorem of Hopkins and Mahowald.


title: On-surface synthesis of polyazulene with 2,6-connectivity

abstract: Azulene, the smallest neutral nonalternant aromatic hydrocarbon, serves as not only a prototype for fundamental studies but also a versatile building block for functional materials because of its unique opto(electronic) properties. Here, we report the on-surface synthesis and characterization of the homopolymer of azulene connected exclusively at the 2,6-positions using 2,6-diiodoazulene as the monomer precursor. As an intermediate to the formation of polyazulene, a gold-(2,6-azulenylene) chain is observed.


title: Six-loop $\varepsilon$ expansion study of three-dimensional $O(n)\times O(m)$ spin models

abstract: The Landau-Wilson field theory with $O(n)\times O(m)$ symmetry which describes the critical thermodynamics of frustrated spin systems with noncollinear and noncoplanar ordering is analyzed in $4 - \varepsilon$ dimensions within the minimal subtraction scheme in the six-loop approximation. The $\varepsilon$ expansions for marginal dimensionalities of the order parameter $n^H(m,4-\varepsilon)$, $n^-(m,4-\varepsilon)$, $n^+(m,4-\varepsilon)$ separating different regimes of critical behavior are extended up to $\varepsilon^5$ terms. Concrete series with coefficients in decimals are presented for $m=\{2, \dots, 6\}$. The \textit{diagram of stability} of nontrivial fixed points, including the chiral one, in $(m,n)$ plane is constructed by means of summing up of corresponding $\varepsilon$ expansions using various resummation techniques. Numerical estimates of the chiral critical exponents for several couples $\{m,n\}$ are also found. Comparative analysis of our results with their counterparts obtained earlier within the lower-order approximations and by means of alternative approaches is performed. It is confirmed, in particular, that in physically interesting cases $n=2, m=2$ and $n=2, m=3$ phase transitions into chiral phases should be first-order.


title: Interplay of Excitonic Complexes in $p$-Doped WSe$_2$ Monolayers

abstract: WSe$_2$ monolayers with variable doping are an ideal system to study two-dimensional excitonic complexes. Here, we find that the strongest photoluminescence from bright neutral excitons occurs at moderate $p$-doping levels, owing to a rapid decrease of signal from positive dark trions and a slow increase of signal from positive bright trions with growing $p$-concentrations. We explain our observations with a qualitative model, in which the scattering rate of bright excitons into dark complexes is enhanced by exciton localization, while the scattering rate into positive bright trions increases with $p$-doping level.


title: Modelling an equivalent b-value in diffusion-weighted steady-state free precession

abstract: Purpose: Diffusion-weighted steady-state free precession (DW-SSFP) is shown to provide a means to probe non-Gaussian diffusion through manipulation of the flip angle. A framework is presented to define an effective b-value in DW-SSFP. Theory: The DW-SSFP signal is a summation of coherence pathways with different b-values. The relative contribution of each pathway is dictated by the flip angle. This leads to an apparent diffusion coefficient (ADC) estimate that depends on the flip angle in non-Gaussian diffusion regimes. By acquiring DW-SSFP data at multiple flip angles and modelling the variation in ADC for a given form of non-Gaussianity, the ADC can be estimated at a well-defined effective b-value. Methods: A gamma distribution is used to model non-Gaussian diffusion, embedded in the Buxton signal model for DW-SSFP. Monte-Carlo simulations of non-Gaussian diffusion in DW-SSFP and diffusion-weighted spin-echo (DW-SE) sequences are used to verify the proposed framework. Dependence of ADC on flip angle in DW-SSFP is verified with experimental measurements in a whole, human post-mortem brain. Results: Monte-Carlo simulations reveal excellent agreement between ADCs estimated with DW-SE and the proposed framework. Experimental ADC estimates vary as a function of flip angle over the corpus callosum of the postmortem brain, estimating the mean and standard deviation of the gamma distribution as $1.50\cdot 10^{-4} mm^2/s$ and $2.10\cdot 10^{-4} mm^2/s$. Conclusion: DW-SSFP can be used to investigate non-Gaussian diffusion by varying the flip angle. By fitting a model of non-Gaussian diffusion, the ADC in DW-SSFP can be estimated at an effective b-value, comparable to more conventional diffusion sequences.


title: Geometric models for Lie--Hamilton systems on $\mathbb{R}^2$

abstract: This paper provides a geometric description for Lie--Hamilton systems on $\mathbb{R}^2$ with locally transitive Vessiot--Guldberg Lie algebras through two types of geometric models. The first one is the restriction of a class of Lie--Hamilton systems on the dual of a Lie algebra to even-dimensional symplectic leaves relative to the Kirillov-Kostant-Souriau bracket. The second is a projection onto a quotient space of an automorphic Lie--Hamilton system relative to a naturally defined Poisson structure or, more generally, an automorphic Lie system with a compatible bivector field. These models give rise to a natural framework for the analysis of Lie--Hamilton systems on $\mathbb{R}^2$ while retrieving known results in a natural manner. Our methods may be extended to study Lie--Hamilton systems on higher-dimensional manifolds and provide new approaches to Lie systems admitting compatible geometric structures.


title: A Discontinuous Galerkin method for Shock Capturing using a mixed high-order and sub-grid low-order approximation space

abstract: This article considers a new discretization scheme for conservation laws. The discretization setting is based on a discontinuous Galerkin scheme in combination with an approximation space that contains high-order polynomial modes as well as piece-wise constant modes on a sub-grid. The high-order modes can continuously be suppressed with a penalty function that is based on a sensor which is intertwined with the approximation space. Numerical tests finally illustrate the performance of this scheme.


title: Ax's theorem with an additive character

abstract: Motivated by Emmanuel Kowalski's exponential sums over definable sets in finite fields, we generalize Ax's theorem on pseudo-finite fields to a continuous-logic setting allowing for an additive character. The role played by Weil's Riemann hypothesis for curves over finite fields is taken by the `Weil bound' on exponential sums. Subsequent model-theoretic developments, including simplicity and the Chatzidakis-Van den Dries-Macintyre definable measures, also generalize. Analytically, we have the following consequence: consider the algebra of functions $\Ff_p^n \to \Cc$ obtained from the additive characters and the characteristic functions of subvarieties by pre- or post-composing with polynomials, applying min and sup operators to the real part, and averaging over subvarieties. Then any element of this class can be approximated, uniformly in the variables and in the prime $p$, by a polynomial expression in $\Psi_p(\xi)$ at certain algebraic functions $\xi$ of the variables, where $\Psi(n \mod p) = exp(2 \pi i n/p)$ is the standard additive character.


title: Spatial Search Strategies for Open Government Data: A Systematic Comparison

abstract: The increasing availability of open government datasets on the Web calls for ways to enable their efficient access and searching. There is however an overall lack of understanding regarding spatial search strategies which would perform best in this context. To address this gap, this work has assessed the impact of different spatial search strategies on performance and user relevance judgment. We harvested machine-readable spatial datasets and their metadata from three English-based open government data portals, performed metadata enhancement, developed a prototype and performed both a theoretical and user-based evaluation. The results highlight that (i) switching between area of overlap and Hausdorff distance for spatial similarity computation does not have any substantial impact on performance; and (ii) the use of Hausdorff distance induces slightly better user relevance ratings than the use of area of overlap. The data collected and the insights gleaned may serve as a baseline against which future work can compare.


title: Emergence of Numeric Concepts in Multi-Agent Autonomous Communication

abstract: With the rapid development of deep learning, most of current state-of-the-art techniques in natural langauge processing are based on deep learning models trained with argescaled static textual corpora. However, we human beings learn and understand in a different way. Thus, grounded language learning argues that models need to learn and understand language by the experience and perceptions obtained by interacting with enviroments, like how humans do. With the help of deep reinforcement learning techniques, there are already lots of works focusing on facilitating the emergence of communication protocols that have compositionalities like natural languages among computational agents population. Unlike these works, we, on the other hand, focus on the numeric concepts which correspond to abstractions in cognition and function words in natural language. Based on a specifically designed language game, we verify that computational agents are capable of transmitting numeric concepts during autonomous communication, and the emergent communication protocols can reflect the underlying structure of meaning space. Although their encodeing method is not compositional like natural languages from a perspective of human beings, the emergent languages can be generalised to unseen inputs and, more importantly, are easier for models to learn. Besides, iterated learning can help further improving the compositionality of the emergent languages, under the measurement of topological similarity. Furthermore, we experiment another representation method, i.e. directly encode numerals into concatenations of one-hot vectors, and find that the emergent languages would become compositional like human natural languages. Thus, we argue that there are 2 important factors for the emergence of compositional languages.


title: Improved detection of farside solar active regions using deep learning

abstract: The analysis of waves in the visible side of the Sun allows the detection of active regions in the farside through local helioseismology techniques. The knowledge of the magnetism in the whole Sun, including the non-visible hemisphere, is fundamental for several space weather forecasting applications. Seismic identification of farside active regions is challenged by the reduced signal-to-noise, and only large and strong active regions can be reliable detected. Here we develop a new methodology to improve the identification of active region signatures in farside seismic maps. We have constructed a deep neural network that associates the farside seismic maps obtained from helioseismic holography with the probability of presence of active regions in the farside. The network has been trained with pairs of helioseismic phase shift maps and Helioseismic and Magnetic Imager magnetograms acquired half a solar rotation later, which were used as a proxy for the presence of active regions in the farside. The method has been validated using a set of artificial data, and it has also been applied to actual solar observations during the period of minimum activity of the solar cycle 24. Our approach shows a higher sensitivity to the presence of farside active regions than standard methods applied up to date. The neural network can significantly increase the number of detected farside active regions, and will potentially improve the application of farside seismology to space weather forecasting.


title: A $U(1)_{B-L}$-extension of the Standard Model from Noncommutative Geometry

abstract: We derive a $U(1)_{B-L}$-extension of the Standard Model from a generalized Connes-Lott model with algebra ${\mathbb C}\oplus{\mathbb C}\oplus {\mathbb H}\oplus M_3({\mathbb C})$. This generalization includes the Lorentzian signature, the presence of a real structure, and a weakening of the order $1$ condition. In addition to the SM fields, the model contains a $Z_{B-L}'$ boson and a complex scalar field $\sigma$ which spontaneously breaks the new symmetry. This model is the smallest one which contains the SM fields and is compatible with both the Connes-Lott theory and the algebraic background framework.


title: Deterministic direct growth of WS2 on CVD graphene arrays

abstract: The combination of the exciting properties of graphene with those of monolayer tungsten disulfide (WS2) makes this heterostack of great interest for electronic, optoelectronic and spintronic applications. The scalable synthesis of graphene/WS2 heterostructures on technologically attractive substrates like SiO2 would greatly facilitate the implementation of novel two-dimensional (2D) devices. In this work, we report the direct growth of monolayer WS2 via chemical vapor deposition (CVD) on single-crystal graphene arrays on SiO2. Remarkably, spectroscopic and microscopic characterization reveals that WS2 grows only on top of the graphene crystals so that the vertical heterostack is selectively obtained in a bottom-up fashion. Spectroscopic characterization indicates that, after WS2 synthesis, graphene undergoes compressive strain and hole doping. Tailored experiments show that such hole doping is caused by the modification of the SiO2 stoichiometry at the graphene/SiO2 interface during the WS2 growth. Electrical transport measurements reveal that the heterostructure behaves like an electron-blocking layer at large positive gate voltage, which makes it a suitable candidate for the development of unipolar optoelectronic components.


title: What does a network layer hear? Analyzing hidden representations of end-to-end ASR through speech synthesis

abstract: End-to-end speech recognition systems have achieved competitive results compared to traditional systems. However, the complex transformations involved between layers given highly variable acoustic signals are hard to analyze. In this paper, we present our ASR probing model, which synthesizes speech from hidden representations of end-to-end ASR to examine the information maintain after each layer calculation. Listening to the synthesized speech, we observe gradual removal of speaker variability and noise as the layer goes deeper, which aligns with the previous studies on how deep network functions in speech recognition. This paper is the first study analyzing the end-to-end speech recognition model by demonstrating what each layer hears. Speaker verification and speech enhancement measurements on synthesized speech are also conducted to confirm our observation further.


title: Learning One-Shot Imitation from Humans without Humans

abstract: Humans can naturally learn to execute a new task by seeing it performed by other individuals once, and then reproduce it in a variety of configurations. Endowing robots with this ability of imitating humans from third person is a very immediate and natural way of teaching new tasks. Only recently, through meta-learning, there have been successful attempts to one-shot imitation learning from humans; however, these approaches require a lot of human resources to collect the data in the real world to train the robot. But is there a way to remove the need for real world human demonstrations during training? We show that with Task-Embedded Control Networks, we can infer control polices by embedding human demonstrations that can condition a control policy and achieve one-shot imitation learning. Importantly, we do not use a real human arm to supply demonstrations during training, but instead leverage domain randomisation in an application that has not been seen before: sim-to-real transfer on humans. Upon evaluating our approach on pushing and placing tasks in both simulation and in the real world, we show that in comparison to a system that was trained on real-world data we are able to achieve similar results by utilising only simulation data.


title: Influence of surface effects on neutron skin in atomic nuclei

abstract: The influence of the diffuse surface layer of a finite nucleus on the mean square radii and their isotopic shift is investigated. We present the calculations within the Gibbs-Tolman approach using the experimental values of the nucleon separation energies. Results are compared with that obtained by means of direct variational method based on Fermi-like trial functions.


title: GALEX colours of quasars and intergalactic medium opacity at low redshift

abstract: The distribution of neutral hydrogen in the intergalactic medium (IGM) is currently explored at low-z by means of UV spectroscopy of quasars. We propose an alternative approach based on UV colours of quasars as observed from GALEX surveys. We built a NUV-selected sample of 9033 quasars with (FUV-NUV) colours. The imprint of HI absorption in the observed colours is suggested qualitatively by their distribution as a function of quasar redshift. Because broad band fluxes lack spectral resolution and are sensitive to a large range of N_HI a Monte Carlo simulation of IGM opacity is required for quantitative analysis. It was performed with absorbers randomly distributed along redshift and column density distributions, assumed to be a broken power law with index beta1 (10^15 < N_HI <10^17.2 cm^-2) and beta2 (10^17.2 < N_HI <10^19 cm^-2). The redshift distribution is proportional to the redshift evolution law of the number density of Lyman limit systems (LLS) per unit redshift as determined by spectroscopic surveys.The simulation is run with different assumptions on the spectral index alpha_nu of the quasar ionising flux. The fits between the simulated and observed distribution of colours require an LLS redshift density larger than that derived from spectroscopic counting. This result is robust in spite of difficulties in determining the colour dispersion other than that due to HI absorption. We provide arguments to retain alpha_nu = - 2, a value already extreme with respect to those measured with HST/COS. Further fitting of power law index beta1 and beta2 leads to a higher density by a factor of 1.7 (beta1 = -1.7, beta2 = -1.5), possibly 1.5 (beta1 = -1.7, beta2 = -1.7). Beyond the result in terms of density the analysis of UV colours of quasars reveals a tension between the current description of IGM opacity at low z and the published average ionising spectrum of quasars.


title: Singular points detection with semantic segmentation networks

abstract: Singular points detection is one of the most classical and important problem in the field of fingerprint recognition. However, current detection rates of singular points are still unsatisfactory, especially for low-quality fingerprints. Compared with traditional image processing-based detection methods, methods based on deep learning only need the original fingerprint image but not the fingerprint orientation field. In this paper, different from other detection methods based on deep learning, we treat singular points detection as a semantic segmentation problem and just use few data for training. Furthermore, we propose a new convolutional neural network called SinNet to extract the singular regions of interest and then use a blob detection method called SimpleBlobDetector to locate the singular points. The experiments are carried out on the test dataset from SPD2010, and the proposed method has much better performance than the other advanced methods in most aspects. Compared with the state-of-art algorithms in SPD2010, our method achieves an increase of 11% in the percentage of correctly detected fingerprints and an increase of more than 18% in the core detection rate.


title: Hot oxygen and carbon escape from the martian atmosphere

abstract: The escape of hot O and C atoms from the present martian atmosphere during low and high solar activity conditions has been studied with a Monte-Carlo model. The model includes the initial energy distribution of hot atoms, elastic, inelastic, and quenching collisions between the suprathermal atoms and the ambient cooler neutral atmosphere, and applies energy dependent total and differential cross sections for the determination of the collision probability and the scattering angles. The results yield a total loss rate of hot oxygen of $2.3-2.9\times 10^{25}\,{\rm s}^{-1}$ during low and high solar activity conditions and is mainly due to dissociative recombination of O$_2^+$ and CO$_2^+$. The total loss rates of carbon are found to be $0.8$ and $3.2\times 10^{24}\,{\rm s}^{-1}$ for low and high solar activity, respectively, with photodissociation of CO being the main source. Depending on solar activity, the obtained carbon loss rates are up to $\sim 40$ times higher than the CO$_2^+$ ion loss rate inferred from Mars Express ASPERA-3 observations. Finally, collisional effects above the exobase reduce the escape rates by about $20-30\,\%$ with respect to a collionless exophere.


title: Persistence in the Moran model with random switching

abstract: The paper is devoted to the study of the asymptotic behaviour of Moran process in random environment, say random selection. In finite population, the Moran process may be degenerate in finite time, thus we will study its limiting process in large population which is a Piecewise Deterministic Markov Process, when the random selection is a Markov jump process. We will then study its long time behaviour via the stochastic persistence theory of Bena\"im \cite{benaimpersistence}. It will enable us to show that persistence can occur, i.e. asymptotic coexistence of all species, when there are enough switching possibilities. This is true even if one species has never a predominant selection.


title: A Zermelo navigation problem with a vortex singularity

abstract: Helhmoltz-Kirchhoff equations of motions of vortices of an incompressible fluid in the plane define a dynamics with singularities and this leads to a Zermelo navigation problem describing the ship travel in such a field where the control is the heading angle. Considering one vortex, we define a time minimization problem which can be analyzed with the technics of geometric optimal control combined with numerical simulations, the geometric frame being the extension of Randers metrics in the punctured plane, with rotational symmetry. Candidates as minimizers are parameterized thanks to the Pontryagin Maximum Principle as extremal solutions of a Hamiltonian vector field. We analyze the time minimal solution to transfer the ship between two points where during the transfer the ship can be either in a strong current region in the vicinity of the vortex or in a weak current region. The analysis is based on a micro-local classification of the extremals using mainly the integrability properties of the dynamics due to the rotational symmetry. The discussion is complex and related to the existence of an isolated extremal (Reeb) circle due to the vortex singularity. The explicit computation of cut points where the extremal curves cease to be optimal is given and the spheres are described in the case where at the initial point the current is weak.


title: Straight contact lines on a soft, incompressible solid

abstract: The deformation of a soft substrate by a straight contact line is calculated, and the result applied to a static rivulet between two parallel contact lines. The substrate is supposed to be incompressible (Stokes like description of elasticity), and having a non-zero surface tension, that eventually differs depending on whether its surface is dry or wet. For a single straight line separating two domains with the same substrate surface tension, the ridge profile is shown to be be very close to that of Shanahan and de Gennes, but shift from the contact line of a distance equal to the elastocapillary length built upon substrate surface tension and shear modulus. As a result, the divergence near contact line disappears and is replaced by a balance of surface tensions at the contact line (Neumann equilibrium), though the profile remains nearly logarithmic. In the rivulet case, using the previous solution as a Green function allows one to calculate analytically the geometry of the distorted substrate, and in particular its slope on each side (wet and dry) of the contact lines. These two slopes are shown to be nearly proportional to the inverse of substrate surface tensions, though the respective weight of each side (wet and dry) in the final expressions is difficult to establish because of the linear nature of standard elasticity. A simple argument combining Neumann and Young equations is however provided to overcome this limitation. The result may have surprising implications for the modelling of hysteresis on systems having both plastic and elastic properties, as initiated long ago by Extrand and Kumagai.


title: Microwave assisted optical waveguide in Rydberg atoms

abstract: We theoretically demonstrate an efficient scheme to build a microwave (MW) assisted optical waveguide in an inhomogeneously broadened vapor medium that is made of active 87 Rb atoms and inactive buffer gas atoms. We exploit the sensitive behaviour of MW field coupled between highly excited Rydberg states to create distinctly responsive and tunable atomic waveguide. The buffer gas induced collision further manipulates the features of the waveguide by widening the spatial transparency window and enhancing the contrast of the refractive index. We numerically solve Maxwell's equations to demonstrate diffractionless propagation of 5 micrometer narrow paraxial light beams of arbitrary mode to several Rayleigh lengths. The presence of the buffer gas significantly enhances output intensity of the diffraction controlled light beam from 10 percent to 54 percent. This efficient diffraction elimination technique has important applications in high-resolution imaging and high-density optical communication.


title: The Cauchy problem for the energy-critical inhomogeneous nonlinear Schr\"{o}dinger equation

abstract: In this paper we study the Cauchy problem for the energy-critical inhomogeneous nonlinear Schr\"odinger equation $i\partial_{t}u+\Delta u=\lambda|x|^{-\alpha}|u|^{\beta}u$ in $H^1$. The well-posedness theory in $H^1$ has been intensively studied in recent years, but the currently known approaches do not work for the critical case $\beta=(4-2\alpha)/(n-2)$. It is still an open problem. The main contribution of this paper is to develop the theory in this case.


title: On eigenvalue multiplicity in signed graphs

abstract: For signed graphs we provide a cubic polynomial upper bound on the multiplicity of its eigenvalues. We show that this bound is sharp by providing examples of signed graphs in which it is attained. We also discuss particular cases in which the bound can be decreased.


title: Updated measurement of decay-time-dependent CP asymmetries in $D^0 \to K^+K^-$ and $D^0 \to \pi^+\pi^-$ decays

abstract: A search for decay-time-dependent charge-parity ($CP$) asymmetry in $D^0 \to K^+K^-$ and $D^0 \to \pi^+\pi^-$ decays is performed at the LHCb experiment using proton-proton collision data recorded at a center-of-mass energy of 13TeV, and corresponding to an integrated luminosity of 5.4fb$^{-1}$. The $D^0$ mesons are required to originate from semileptonic decays of $b$ hadrons, such that the charge of the muon identifies the flavor of the neutral $D$ meson at production. The asymmetries in the effective decay widths of $D^0$ and $\overline{D}^0$ mesons are determined to be $A_{\Gamma}(K^+K^-) = ( -4.3 \pm 3.6 \pm 0.5 )\times 10^{-4}$ and $A_{\Gamma}(\pi^+\pi^-) = ( 2.2 \pm 7.0 \pm 0.8)\times 10^{-4}$, where the uncertainties are statistical and systematic, respectively. The results are consistent with $CP$ symmetry and, when combined with previous LHCb results, yield $A_{\Gamma}(K^+K^-) = ( -4.4 \pm 2.3 \pm 0.6 )\times 10^{-4}$ and $A_{\Gamma}(\pi^+\pi^-) = ( 2.5 \pm 4.3 \pm 0.7)\times 10^{-4}$.


title: Rate-Power Region of SWIPT Systems Employing Nonlinear Energy Harvester Circuits with Memory

abstract: In this paper, we study the rate-power region of a simultaneous wireless information and power transfer (SWIPT) system where a transmitter (TX) broadcasts a common signal to an information receiver (IR) and an energy harvester (EH). Since practical EH circuits include a reactive element as part of their signal rectifier and the voltage on this element cannot drop or rise instantaneously, the EH circuit has memory. We model the memory effect of the EH by a Markov reward chain. Furthermore, since an analytical model that includes all non-linear and memory effects of the EH circuit is not available, we employ a deep neural network (DNN) to model the Markov chain evolution. We formulate an optimization problem to determine the rate-power region of the considered SWIPT system and propose an iterative algorithm based on sequential quadratic programming (SQP) to solve it. Our numerical results show that the optimal input distribution and the rate-power region depend on both the input power level at the EH and the symbol duration.


title: A Gagliardo-Nirenberg type inequality for rapidly decaying functions

abstract: We improve the Gagliardo-Nirenberg inequality \[ \|\varphi\|_{L^q(\mathbb{R}^n)} \le C \|\nabla\varphi\|_{L^r(\mathbb{R}^n)} \mathcal{L}^{-(\frac 1q - \frac{n-r}{rn})} (\|\nabla\varphi\|_{L^r(\mathbb{R}^n)}), \] $r=2$, $0<q<\frac{rn}{(n-r)_+}$, $\mathcal{L}$ generalizing $\mathcal{L}(s)=\ln^{-1}\frac 2s$ for $0<s<1$, from [M. Fila and M. Winkler: A Gagliardo-Nirenberg-type inequality and its applications to decay estimates for solutions of a degenerate parabolic equation, Adv. Math., 357 (2019), https://doi.org/10.1016/j.aim.2019.106823] for rapidly decaying functions ($\varphi\in W^{1,r}(\mathbb{R}^n)\setminus\{0\}$ with finite $K=\int_{\mathbb{R}^n} \mathcal{L}(\varphi)$) by specifying the dependence of $C$ on $K$ and by allowing arbitrary $r\ge1$.


title: Quantum Algorithms for Deep Convolutional Neural Networks

abstract: Quantum computing is a new computational paradigm that promises applications in several fields, including machine learning. In the last decade, deep learning, and in particular Convolutional neural networks (CNN), have become essential for applications in signal processing and image recognition. Quantum deep learning, however remains a challenging problem, as it is difficult to implement non linearities with quantum unitaries. In this paper we propose a quantum algorithm for applying and training deep convolutional neural networks with a potential speedup. The quantum CNN (QCNN) is a shallow circuit, reproducing completely the classical CNN, by allowing non linearities and pooling operations. The QCNN is particularly interesting for deep networks and could allow new frontiers in image recognition, by using more or larger convolution kernels, larger or deeper inputs. We introduce a new quantum tomography algorithm with $\ell_{\infty}$ norm guarantees, and new applications of probabilistic sampling in the context of information processing. We also present numerical simulations for the classification of the MNIST dataset to provide practical evidence for the efficiency of the QCNN.